1268 search results - page 1 / 254 » Verifying distributed systems: the operational approach |
POPL
2009
ACM
14 years 5 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
DATE
2008
IEEE
13 years 6 months ago
2008
IEEE
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
IFM
2010
Springer
13 years 2 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
CORR
2011
Springer
12 years 8 months ago
2011
Springer
— This paper discusses some topics related to the latest trends in the field of evolutionary approaches to iris recognition. It presents the results of an exploratory experimenta...
HICSS
2003
IEEE
13 years 9 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...