144 search results - page 21 / 29 » A Markov Model for Multiagent Patrolling in Continuous Time |
108
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
A key limitation of current Web services standards is the inability to differentiate service instances at runtime using (nonfunctional) qualities of services (QoS). Such differe...
109
click to vote
PAPM
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
ICMCS
2000
IEEE
15 years 4 months ago
2000
IEEE
Applications in virtual multimedia catalogs are highly interactive. Thus, it is difficult to estimate resource demands required for presentation of catalog contents. In this pape...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
—We consider a widely applicable model of resource allocation where two sequences of events are coupled: on a continuous time axis (t), network dynamics evolve over time. On a di...