Searching for "Living with Constraints." – sorted by Relevance.
96 documents found, showing 1 through 10.
Next 10 →
-
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
- … for the Synthesis of Controllers to Handle Safety, Liveness, and Real-Time Constraints Michel Barbeau, Member, IEEE…
- Cited by 8 (2 self) – Add To MetaCart
-
Planning Control Rules for Reactive Agents
- … that can express quite complex time, safety, and liveness constraints. Our method is based…
- Cited by 58 (5 self) – Add To MetaCart
-
Live Migration of Virtual Machines
- … we consider the design options for migrating OSes running services with liveness constraints…
- Cited by 101 (7 self) – Add To MetaCart
-
Specification and Analysis of Intercomponent Communication
- …-related safety and liveness constraints. At an abstract level, we can view an embedded control system as a…
- Cited by 10 (5 self) – Add To MetaCart
-
Supervision based on place invariants: A survey
- … constraints, and liveness. We conclude with a presentation of possible applications of the SBPI approach…
- Cited by 1 (1 self) – Add To MetaCart
-
Refinement Principles Supporting the Transition from Asynchronous to Synchronous Communication
- … specifications are not safe --- they also impose liveness constraints. Thus, a more powerful refinement principle…
- Add To MetaCart
-
Refinement Principles
- … by real-time constraints. Partial re nement supports synchronization by hand-shake with respect to safety…
- Add To MetaCart
-
A direct texture placement and editing interface
- … of live constraints, which are points on the texture moved around by the user. The rest of the texture…
- Cited by 1 (0 self) – Add To MetaCart
-
Time-Based Constraints in the Object Constraint
- … the stereotype <<constraint>>. We also introduce an operator eventually for expressing liveness constraints…
- Cited by 2 (0 self) – Add To MetaCart
-
A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints
- …. The detailed routes for each net are represented by a set of Boolean route variables. (b) Liveness constraints…
- Cited by 46 (23 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
