8555 search results - page 92 / 1711 » Property Based Coordination |
EUROMICRO
2004
IEEE
14 years 17 days ago
2004
IEEE
It is now widely recognized that the so-called nonfunctional or extra-functional properties of a software system are at least as important as its somewhat more classical functiona...
CAV
1999
Springer
14 years 1 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
CDVE
2007
Springer
14 years 3 months ago
2007
Springer
In the Architecture Engineering and Construction sector (AEC) cooperation between actors is essential for project success. The configuration of actors’ organization takes differe...
WETICE
2003
IEEE
14 years 2 months ago
2003
IEEE
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...