366 search results - page 24 / 74 » Combining Agent-Oriented Conceptual Modelling with Formal Me... |
83
Voted
ECAI
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Teams arise in a number of important multiagent applications. Several theories of intentions for teams have been proposed. By and large, these theories tend to model team...
96
Voted
CAV
2003
Springer
15 years 5 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
113
click to vote
MEMOCODE
2007
IEEE
15 years 6 months ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
111
Voted
IFM
2010
Springer
14 years 11 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
101
Voted
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...