4451 search results - page 719 / 891 » Continuous model synthesis |
180
click to vote
ATVA
2007
Springer
16 years 20 days 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 ...
199
click to vote
MHCI
2007
Springer
16 years 18 days 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...
153
click to vote
WAOA
2007
Springer
16 years 17 days 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...
180
click to vote
ASAP
2005
IEEE
16 years 3 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...
190
click to vote
AMAI
2004
Springer
15 years 12 months 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...