690 search results - page 94 / 138 » Testing Temporal Logic Properties in Distributed Systems |
87
Voted
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
91
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
66
Voted
CORR
2006
Springer
15 years 16 days ago
2006
Springer
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
87
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
—The topology of the Internet has been extensively studied in recent years, driving a need for increasingly complex measurement infrastructures. These measurements have produced ...
105
click to vote
PERCOM
2009
ACM
15 years 7 months ago
2009
ACM
—Ensuring spontaneous ad hoc interoperation in decentralized ubiquitous computing environments is challenging, because of heterogeneous resources and divergent policies. Centrali...