827 search results - page 20 / 166 » Patterns for Timed Property Specifications |
117
click to vote
KES
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Location and time information about individuals can be captured through GPS devices, GSM phones, RFID tag readers, and by other similar means. Such data can be pre-proces...
146
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
118
click to vote
ENTCS
2006
15 years 1 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
114
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
Web Services provide our systems with a platform independent and loosely coupled implementation environment, being time to face how the named systems can be modelled. Service Compo...
102
click to vote
IV
2008
IEEE
15 years 8 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...