4962 search results - page 927 / 993 » Stochastic Model Checking |
170
click to vote
ICST
2009
IEEE
16 years 28 days ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
173
Voted
ATAL
2009
Springer
16 years 25 days ago
2009
Springer
This paper argues that the agent-based simulation approach is just the one appropriate to the social sciences (including economics). Although there were many predecessor approache...
173
click to vote
ISVC
2007
Springer
16 years 12 days ago
2007
Springer
Optical motion capture can be classified as an inference problem: given the data produced by a set of cameras, the aim is to extract the hidden state, which in this case encodes t...
167
click to vote
INFOCOM
2006
IEEE
16 years 9 days ago
2006
IEEE
— This paper analyzes and designs medium access control (MAC) protocols for wireless ad-hoc networks through the network utility maximization (NUM) framework. We first reverse-e...
189
click to vote
INFOCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— Motivated by applications to sensor, peer-topeer and ad hoc networks, we study distributed asynchronous algorithms, also known as gossip algorithms, for computation and...