436 search results - page 39 / 88 » Decomposing constraint systems: equivalences and computation... |
137
click to vote
FM
2008
Springer
15 years 2 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
101
click to vote
ECOOPW
1999
Springer
15 years 5 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
120
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
111
click to vote
ISORC
2000
IEEE
15 years 4 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
106
click to vote
TSP
2008
15 years 1 months ago
2008
Abstract--In the design of distributed quantization systems one inevitably confronts two types of constraints--those imposed by a distributed system's structure and those impo...