5900 search results - page 379 / 1180 » Dependable Systems |
186
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
—One of the key benefits of using intrusion-tolerant systems is the possibility of ensuring correct behavior in the presence of attacks and intrusions. These security gains are ...
161
click to vote
AIME
2003
Springer
15 years 12 months ago
2003
Springer
We describe a decision support system for treatment planning which provides immediate feedback of constraints, interactions and dependencies on and between treatment actions, and t...
177
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we introduce the notion of character's values to mediate between agents and story direction in storytelling systems. By relating characters' goals with the...
155
click to vote
JSC
2006
15 years 6 months ago
2006
We propose an algorithm for computing an exact absolute factorization of a bivariate polynomial from an approximate one. This algorithm is based on some properties of the algebrai...
171
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
A set of concurrent processes communicating through shared variables is an often used model for hardware systems. This paper presents three modeling techniques for representing su...