Suchergebnisse - temporal concurrency constraint programming

Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios von Toro, Mauricio, Desainte-Catherine, Myriam, Rueda, Camilo

“… Interactive scores (is) is a formalism based on temporal constraints to describe interactive scenarios …”
Volltext

Abstract interpretation of temporal concurrent constraint programs von FALASCHI, MORENO, OLARTE, CARLOS, PALAMIDESSI, CATUSCIA

“… Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e …”
Volltext

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems von Ramirez, Miquel, Singh, Anubhav, Stuckey, Peter, Manzie, Chris

“… We propose a notion of planning graphs that can account for complex concurrency relations between actions and fluents as a Constraint Programming (CP) model …”
Volltext

Abstract Interpretation of Temporal Concurrent Constraint Programs von Moreno Falaschi, Olarte, Carlos, Palamidessi, Catuscia

“… Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e …”
Volltext

Autonomous Runtime Composition of Sensor-Based Skills Using Concurrent Task Planning von Pane, Yudha, Mokhtari, Vahid, Aertbelien, Erwin, De Schutter, Joris, Decre, Wilm

“… Constraint-based robot programming allows for implementing sensor-based skills that react to disturbances on the one hand, and composable skills that dynamically create and reconfigure complex robot …”
Volltext

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I von Silva, Alexandra, Leino, K. Rustan M

“… The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain …”
Volltext

A Symbolic Model for Timed Concurrent Constraint Programming von Arias, Jaime, Guzmán, Michell, Olarte, Carlos

“… Concurrent Constraint Programming (ccp) is a model for concurrency where agents interact with each other by telling and asking constraints (i.e., formulas in logic …”
Volltext

Optimal Control of Information Dissemination Based on Model‐Free Reinforcement Learning von Xia, Dan, Xu, Enyu, Tian, Yuan, Min, Qiusha

“… To address the optimal control problem under such model‐free constraints, this paper aims to minimize the cumulative cost of epidemic …”
Volltext

Coordination of Multirobot Systems Under Temporal Constraints von Şahin, Yunus Emre

“… Multirobot systems have great potential to change our lives by increasing efficiency or decreasing costs in many applications, ranging from warehouse logistics …”
Volltext

Decidability of infinite-state timed CCP processes and first-order LTL von Valencia, Frank D.

“… The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL …”
Volltext

A semantic framework for the abstract model checking of tccp programs von Alpuente, María, del Mar Gallardo, María, Pimentel, Ernesto, Villanueva, Alicia

“… The Timed Concurrent Constraint programming language ( tccp) introduces time aspects into the Concurrent Constraint paradigm …”
Volltext

Programming and Managing the Swarm -- An Operating System for an Emerging System of Mobile Devices von Graff, Daniel, Richling, Jan, Werner, Matthias

“… We provide a programming model for distributed mobile applications that abstracts from error-prone aspects such as distribution and concurrency …”
Volltext

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I von Dillig, Isil, Tasiran, Serdar

“… ; distributed systems and networks; verification and invariants; and concurrency …”
Volltext

Temporal planning for rich numeric contexts von Bajada, Josef

“… Real-world planning problems often feature complex temporal and numeric characteristics …”
Volltext

Distributed Active Objects -- A Systemic Approach to Distributed Mobile Applications von Graff, Daniel, Richling, Jan, Stupp, T. M., Werner, M.

“… Designing cyber-physical systems (CPS) requires consideration of interactions between several computing and non-computing elements and, thus, consideration of concurrency of actions …”
Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II von Beyer, Dirk, Huisman, Marieke

“… ; program compilers; programming languages; semantics; software engineering; specifications; state space; verification …”
Volltext

Joe Celko's SQL for Smarties: Advanced SQL Programming von Celko, Joe

“… A completely revised edition of the classic advanced SQL book! …”
Volltext

Formal analysis of the alternating bit protocol by temporal Petri nets von Suzuki, I.

“… Temporal Petri nets are Petri nets in which certain restrictions on the firings of transitions are represented by formulas containing temporal operators …”
Volltext

On temporal planning as CSP von Mali, A.D.

“… Recent advances in constraint satisfaction and heuristic search have made it possible to solve classical planning problems significantly faster …”
Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II von Sankaranarayanan, Sriram, Sharygina, Natasha

“… This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, …”
Volltext