211 search results - page 21 / 43 » Modeling security as a dependability attribute: a refinement... |
170
Voted
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
123
click to vote
JETAI
2007
15 years 4 months ago
2007
The Internet has led to the development of on-line markets, and computer scientists have designed various auction algorithms, as well as automated exchanges for standardized commo...
114
Voted
ISI
2004
Springer
15 years 10 months ago
2004
Springer
The protection of critical infrastructures, such as electrical power grids, has become a primary concern of many nation states in recent years. Critical infrastructures involve mul...
138
click to vote
IDT
2008
15 years 4 months ago
2008
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
146
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...