Výsledky vyhledávání - temporal concurrency constraint programming

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

“… Interactive scores (is) is a formalism based on temporal constraints to describe interactive scenarios…”
Získat plný text

Abstract interpretation of temporal concurrent constraint programs Autor 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…”
Získat plný text

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems Autor 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…”
Získat plný text

Abstract Interpretation of Temporal Concurrent Constraint Programs Autor 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…”
Získat plný text

Autonomous Runtime Composition of Sensor-Based Skills Using Concurrent Task Planning Autor 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…”
Získat plný text

A Symbolic Model for Timed Concurrent Constraint Programming Autor 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…”
Získat plný text

Optimal Control of Information Dissemination Based on Model‐Free Reinforcement Learning Autor 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…”
Získat plný text

Coordination of Multirobot Systems Under Temporal Constraints Autor Ş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…”
Získat plný text

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

“… The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain…”
Získat plný text

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

“…The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL…”
Získat plný text

A semantic framework for the abstract model checking of tccp programs Autor 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…”
Získat plný text

Programming and Managing the Swarm -- An Operating System for an Emerging System of Mobile Devices Autor 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…”
Získat plný text

Temporal planning for rich numeric contexts Autor Bajada, Josef

“…Real-world planning problems often feature complex temporal and numeric characteristics…”
Získat plný text

Distributed Active Objects -- A Systemic Approach to Distributed Mobile Applications Autor 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…”
Získat plný text

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

“…; distributed systems and networks; verification and invariants; and concurrency…”
Získat plný text

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 Autor Beyer, Dirk, Huisman, Marieke

“…; program compilers; programming languages; semantics; software engineering; specifications; state space; verification…”
Získat plný text

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

“…A completely revised edition of the classic advanced SQL book!…”
Získat plný text

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

“…Temporal Petri nets are Petri nets in which certain restrictions on the firings of transitions are represented by formulas containing temporal operators…”
Získat plný text

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

“…Recent advances in constraint satisfaction and heuristic search have made it possible to solve classical planning problems significantly faster…”
Získat plný text

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 Autor 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,…”
Získat plný text