4418 search results - page 469 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
183
click to vote
SCHULE
1997
Springer
15 years 11 months ago
1997
Springer
In the presentation recording scenario there are two aspects regarding the user interface: How the recording is done (i.e., how the presenter or his/her assistants have to interac...
181
click to vote
PERVASIVE
2008
Springer
15 years 6 months ago
2008
Springer
We have developed an approach for whole-house gross movement and room transition detection through sensing at only one point in the home. We consider this system to be one member o...
204
click to vote
RAID
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
292
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
188
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
Many relational and object-oriented database systems provide referential integrity and compound operations on related objects using relationship mechanisms. Distributed object sys...