6308 search results - page 177 / 1262 » Modeling Urgency in Timed Systems |
124
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We investigate in this paper the performance of a file sharing principle similar to the one implemented by eMule. For this purpose, we consider a system composed of N peers becomi...
164
click to vote
ISM
2005
IEEE
15 years 10 months ago
2005
IEEE
Ubiquitous Computing foresees a massively networked world supporting a population of diverse but cooperating mobile devices where trust relationships between entities are uncertai...
152
click to vote
SIGSAND
2008
15 years 5 months ago
2008
: Today's businesses must continuously adapt to changing external environment in accelerated time frames. This requires businesses to decrease costs and time of the very proce...
176
click to vote
ICANN
2011
Springer
14 years 7 months ago
2011
Springer
This article presents a novel approach for a real-time person tracking system based on particle filters that use different visual streams. Due to the difficulty of detecting a pe...
128
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...