1370 search results - page 53 / 274 » On the Consistent Observation of Active Systems |
123
click to vote
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After ...
157
click to vote
CMSB
2004
Springer
15 years 10 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
154
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— Recent development of information technology is making electric household appliances computerized and networked. If the environments surrounding us could recognize our activiti...
114
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The observation and modeling of natural Complex Systems (CSs) like the human nervous system, the evolution or the weather, allows the definition of special abilities and models re...
171
click to vote
SP
1999
IEEE
15 years 9 months ago
1999
IEEE
Intrusion detection systems rely on a wide variety of observable data to distinguish between legitimate and illegitimate activities. In this paper we study one such observable-seq...