4426 search results - page 120 / 886 » Concurrent Constraint Programming |
156
click to vote
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
146
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
137
click to vote
IFIP
1998
Springer
15 years 8 months ago
1998
Springer
A new scheduling agent for existing CIM multi-agent system is being currently developed at the Technical University of Kosice. The basic idea is to create an agent based on Schedu...
109
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...
146
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...