• Suche: "Timed Concurrent Constraint programming"

Treffer 1 - 20 von 60

1

Timed soft concurrent constraint programs: An interleaved and a parallel approach
BISTARELLI, Stefano ; Gabbrielli, Maurizio ; Meo, MARIA CHIARA ; et al.
Theory and Practice of Logic Programming. 15:743-782

FOS: Computer and inform... Computer Science - Progr... interleaving parallelism Soft Concurrent Constrai... Timed Concurrent Constra... …
Fachzeitschrift
Zu den Favoriten
2

Abstract interpretation of temporal concurrent constraint programs
Catuscia Palamidessi ; Carlos Olarte ; Moreno Falaschi ; et al.
Theory and Practice of Logic Programming. 15:312-357

FOS: Computer and inform... Computer Science - Logic... [INFO.INFO-LO] Computer... reactive systems 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
3

A framework for abstract interpretation of timed concurrent constraint programs
Falaschi, Moreno ; Olarte, Carlos ; Palamidessi, Catuscia ; et al.
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. :207-218

Concurrent Constraint Pr... Abstract interpretation Denotational semantics Process calculi Reactive systems Timed concurrent constra... …
Fachzeitschrift
Zu den Favoriten
4

A semantic framework for the abstract model checking of tccp programs
Ernesto Pimentel ; María del Mar Prados Gallardo ; María Alpuente ; et al.
Theoretical Computer Science. 346:58-95

Model checking Other programming paradi... Specification and verifi... Timed Concurrent Constra... 0202 electrical engineer... Abstract interpretation …
Fachzeitschrift
Zu den Favoriten
5

A semantic framework for the abstract model checking of tccp programs
ALPUENTE, Maria ; GALLARDO, Maria Del ; PIMENTEL, Ernesto ; et al.
Quantitative aspects of programming languages (QAPL 2004)Theoretical computer science. 346(1):58-95

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
6

An axiomatic semantics for the synchronous language Gentzen: An axiomatic semantics for the synchronous language Gentzen.
TINI, SIMONE
Lecture Notes in Computer Science ISBN: 9783540418641

Computational Theory and... Computer Networks and Co... Applied Mathematics Semantics in the theory... 0202 electrical engineer... timed concurrent constra... …
Fachzeitschrift
Zu den Favoriten
7

A Tool for Generating a Symbolic Representation of tccp Executions
Alexei Lescaylle ; Alicia Villanueva
Electronic Notes in Theoretical Computer Science. 246:131-145

Timed concurrent constra... symbolic representation 0202 electrical engineer... tool demonstration 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
8

Automatic verification of timed concurrent constraint programs
FALASCHI, MORENO ; Villanueva A. ; Falaschi, Moreno ; et al.
Theory and Practice of Logic Programming. 6:265-300

FOS: Computer and inform... Model checking Computer Science - Logic... Timed concurrent constra... 0202 electrical engineer... Automatic verification …
Fachzeitschrift
Zu den Favoriten
9

Modelling and implementing asynchronous timed multimedia frameworks using coordination principles
Papadopoulos, George Angelos ; Papadopoulos, George Angelos [0000-0001-9250-4916]
Future Generation Computer Systems
Future Gener Comput Syst

Mathematical models Artificial intelligence Real time systems Timed asynchronous langu... 02 engineering and techn... Synchronization …
Fachzeitschrift
Zu den Favoriten
10

Decidability of infinite-state timed CCP processes and first-order LTL
Frank D. Valencia
Theoretical Computer Science. 330:577-607

Specification and verifi... Temporal logic Decidability 0102 computer and inform... 02 engineering and techn... First-order LTL …
Fachzeitschrift
Zu den Favoriten
11

Abstract Model Checking of tccp programs
María Alpuente ; Alicia Villanueva ; Ernesto Pimentel ; et al.
Electronic Notes in Theoretical Computer Science. 112:19-36

Abstract Interpretation 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences Timed Concurrent Constra... …
Fachzeitschrift
Zu den Favoriten
12

Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I
Falaschi M ; POLICRITI, Alberto ; Villanueva A.
Electronic Notes in Theoretical Computer Science. 48:197-210

Model checking Timed Concurrent Constra... Reactive systems 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
13

Automatic verification of timed concurrent constraint programs
Moreno Falaschi ; Alicia Villanueva ; The Pennsylvania State University CiteSeerX Archives
http://arxiv.org/pdf/cs/0505026v1.pdf.

Automatic verification reactive systems timed concurrent constra...
Fachzeitschrift
Zu den Favoriten
14

A Semantic Framework for the Abstract Model Checking of tccp Programs
María Alpuente ; María del Mar Gallardo ; Ernesto Pimentel ; et al.
http://150.214.108.177/pubs/doc/205.pdf.

Timed Concurrent Constra... Abstract interpretation Model checking
Fachzeitschrift
Zu den Favoriten
15

Modelling and implementing asynchronous timed multimedia frameworks using coordination principles
George A. Papadopoulos ; The Pennsylvania State University CiteSeerX Archives
http://www.cs.ucy.ac.cy/~george/FGCSb.pdf.

Multimedia programming Timed concurrent constra... Timed asynchronous langu... Coordination models Distributed
Fachzeitschrift
Zu den Favoriten
16

Timed Concurrent Constraint Programming: Decidability Results and their Application to LTL
Frank D. Valencia ; The Pennsylvania State University CiteSeerX Archives
http://www.brics.dk/%7Efvalenci/tccpdec.ps.gz.

ntcc calculus timed concurrent constra... decidable fragments of f...
Fachzeitschrift
Zu den Favoriten
17

A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp
Comini, Marco ; Titolo, Laura ; Villanueva García, Alicia ; et al.

Timed Concurrent Constra... denotational semantics full abstraction non-monotonic languages LENGUAJES Y SISTEMAS INF...
Report
Zu den Favoriten
18

An interpreter for Timed Concurrent Constraints in Mozart (Extended Abstract)
Thomas Sjöland ; Erik Klintskog ; Seif Haridi ; et al.
http://www.it.kth.se/%7Esjoland/cotic/cotic2001.ps.gz.

discrete event simulatio...
Fachzeitschrift
Zu den Favoriten
19

Modeling Concurrent systems specified in a Temporal Concurrent Constraint language
M. Falaschi ; A. Policriti ; A. Villanueva ; et al.
http://www.dimi.uniud.it/~alicia/agp2000.ps.gz.

Timed Concurrent Constra... Reactive systems Model checking
Fachzeitschrift
Zu den Favoriten
20

Asynchronous timed multimedia environments based on the coordination paradigm
Papadopoulos, George Angelos ; Papadopoulos, George Angelos [0000-0001-9250-4916]
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Lect. Notes Comput. Sci.

Computation theory Timed Asynchronous Langu... Computational linguistic... Coordination programming Distributed multimedia s... Computer programming …
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter