6581 search results - page 177 / 1317 » Formalizing Design Patterns |
141
Voted
ECRTS
2006
IEEE
15 years 9 months ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
114
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper studies argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments and examines the outcomes of the dialogu...
142
click to vote
ISMIS
1994
Springer
15 years 7 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
148
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
134
Voted
JSW
2007
15 years 3 months ago
2007
— Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A clas...