3865 search results - page 31 / 773 » From Bidirectionality to Alternation |
JUCS
2006
13 years 10 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
PTS
2010
13 years 9 months ago
2010
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...
TELETRAFFIC
2007
Springer
14 years 5 months ago
2007
Springer
Recent advances in telecommunication networks have allowed WDM to emerge as a viable solution to the ever-increasing demands of the Internet. In a wavelength-routed optical network...
ISLPED
2003
ACM
14 years 4 months ago
2003
ACM
High performance processors use checkpointing to rapidly recover from branch mispredictions and possibly other exceptions. We demonstrate that conventional checkpointing becomes u...
ISSRE
2000
IEEE
14 years 3 months ago
2000
IEEE
Learning from software failures is an essential step towards the development of more reliable software systems and processes. However, as more intricate software systems are devel...