4350 search results - page 752 / 870 » Case studies for contract-based systems |
CONEXT
2007
ACM
14 years 24 days ago
2007
ACM
Software-based traffic generators are commonly used in experimental research on computer networks. However, there are no much studies focusing on how such instruments are accurate...
DPPI
2007
ACM
14 years 24 days ago
2007
ACM
Design and research practitioners have applied probes in their design processes to find new ways of understanding user experience, allowing them to obtain a better understanding of...
CAV
2010
Springer
14 years 23 days ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
ESCIENCE
2007
IEEE
14 years 22 days ago
2007
IEEE
Over the past several years, with the advent of the Open Grid Services Architecture (OGSA) [10] and the Web Services Resource Framework (WSRF) [14], Service-Oriented Architectures...
FORMATS
2009
Springer
14 years 22 days ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...