260 search results - page 32 / 52 » Modeling Mental States in the Analysis of Multiagent Systems... |
120
click to vote
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
150
click to vote
ACCV
2006
Springer
15 years 5 months ago
2006
Springer
Stochastic grammar has been used in many video analysis and event recognition applications as an efficient model to represent large-scale video activity. However, in previous works...
119
Voted
DSN
2007
IEEE
15 years 8 months ago
2007
IEEE
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
118
Voted
TPDS
2008
15 years 1 months ago
2008
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
108
Voted
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...