4451 search results - page 719 / 891 » Continuous model synthesis |
214
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
218
click to vote
MHCI
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a photo browsing system on mobile devices to browse and search photos efficiently by tilting action. It employs tilt dynamics and multi-scale photo screen layo...
173
click to vote
WAOA
2007
Springer
16 years 1 months ago
2007
Springer
We consider the following distributed optimization problem: three agents i = 1, 2, 3 are each presented with a load drawn independently from the same known prior distribution. Then...
204
Voted
ASAP
2005
IEEE
16 years 21 days ago
2005
IEEE
As billion transistor System-on-chips (SoC) become commonplace and design complexity continues to increase, designers are faced with the daunting task of meeting escalating design...
216
click to vote
AMAI
2004
Springer
16 years 14 days ago
2004
Springer
This paper extends the framework of partially observable Markov decision processes (POMDPs) to multi-agent settings by incorporating the notion of agent models into the state spac...