907 search results - page 84 / 182 » Monitoring of Real-Time Properties |
118
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
148
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
115
click to vote
IV
2008
IEEE
15 years 10 months ago
2008
IEEE
Assessing the potential property and social impacts of an event, such as tornado or wild fire, continues to be a challenging research area. From financial markets to disaster mana...
120
Voted
ASWEC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
138
Voted
ISI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This work describes a methodology that can be used to identify structure and communication patterns within an organization based on e-mail data. The first step of the me...