579 search results - page 56 / 116 » On a Temporal Logic for Object-Based Systems |
136
click to vote
MTA
2007
15 years 3 months ago
2007
In this paper, we study the important issues in the design of an efficient WIreless real-time visual SurveillancE System (WISES). Two important considerations are to minimize: (1)...
129
click to vote
FMSD
2006
15 years 4 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
144
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
131
click to vote
LISA
2007
15 years 6 months ago
2007
Network patterns are based on generic algorithms that execute on tree-based overlays. A set of such patterns has been developed at KTH to support distributed monitoring in network...
138
click to vote
ISQED
2002
IEEE
15 years 9 months ago
2002
IEEE
Critical systems like pace-makers, defibrillators, wearable computers and other electronic gadgets have to be designed not only for reliability but also for ultra-low power consu...