7557 search results - page 394 / 1512 » Modeling Timed Concurrent Systems |
180
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Due to their flexibility in coverage and resolution, networked robotic cameras become more and more popular in applications such as natural observation, security surveillance,...
173
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
A central service of a constraint programming system is search. In almost all constraint programming systems search is based on trailing, which is well understood and known to be ...
178
click to vote
SOSP
1993
ACM
15 years 8 months ago
1993
ACM
Handling audio and video in a digital environment requires timely delivery of data. This paper describes the principles adopted in the design of the Pandora networked multi-media ...
191
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— A multihop ad hoc wireless network with an interference avoidance model is analyzed for a time division duplex (TDD) air-interface. In accordance with the non-interfere...
169
Voted
QEST
2005
IEEE
16 years 10 days ago
2005
IEEE
A framework to assess transient performance measures is introduced by generalizing the theory of the quasi Birthand-Death (QBD) paradigm to QBDs with marked time epochs (QBDm ). T...