320 search results - page 54 / 64 » Constructing Invariants for Hybrid Systems |
135
click to vote
ATAL
2009
Springer
16 years 17 days ago
2009
Springer
This paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. This framework is an instance of a n...
177
click to vote
RAID
2007
Springer
16 years 3 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...
158
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
Object-oriented frameworks are an established tool for domain-specific reuse. Many framework design patterns and development processes have been documented, typically reverse engin...
133
click to vote
ATAL
2009
Springer
16 years 17 days ago
2009
Springer
Organizational Self-Design (OSD) has been proposed as an approach to constructing suitable organizations at runtime in which the agents are responsible for constructing their own ...
132
click to vote
ASIACRYPT
2007
Springer
16 years 5 days ago
2007
Springer
ersion of an extended abstract to be published in Advances in Cryptology—ASIACRYPT 2007, Springer-Verlag, 2007. Available online from: http://www.cs.stanford.edu/∼xb/asiacrypt0...