4985 search results - page 98 / 997 » Observation of String-Rewriting Systems |
136
click to vote
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
121
click to vote
ACMSE
2004
ACM
15 years 8 months ago
2004
ACM
Traditional intrusion detection systems have a central coordinator with a static hierarchical architecture. We propose a peer-to-peer intrusion detection system that has no centra...
121
click to vote
PTS
1998
15 years 4 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
108
click to vote
AUTOMATICA
2010
15 years 3 months ago
2010
In this paper, a suitable LaSalle principle for continuous-time linear switched systems is used to characterize invariant sets and their associated switching laws. An algorithm to...
125
click to vote
ICSAP
2009
15 years 1 months ago
2009
This paper proposed an efficient omnidirectional surveillance system for digital home security. In this surveillance system, the omnidirectional scenes in a room, kitchen, car porc...