6480 search results - page 334 / 1296 » Proximity Communication and Time |
203
click to vote
FMCO
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
189
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
— With the deployment of large, distributed networks of cameras and other sensors, it is becoming necessary to also address the issue of how to effectively present the large vol...
239
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
The increasing use of wireless networks has necessitated the development of a wireless networking infrastructure that supports quality of service (QoS) for multimedia communicatio...
177
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
CSP is a fundamental concept for developing software for distributed real-time systems. The CSP paradigm constitutes a natural addition to Object Orientation and offers higherorde...
188
click to vote
ICDT
1999
ACM
15 years 11 months ago
1999
ACM
Abstract. In this paper we consider databases representing information about moving objects (e.g. vehicles), particularly their location. We address the problems of updating and qu...