352 search results - page 49 / 71 » The usage of stochastic processes in embedded system specifi... |
CCGRID
2006
IEEE
14 years 12 days ago
2006
IEEE
The Web Services Resource Framework (WS-RF) and the Web Services Notification (WS-N) specifications are a crucial component of Grid infrastructures. They provide a standardized int...
CHARME
2003
Springer
14 years 9 days ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
The industry is currently starting to use MPEG-4 compressed digital video for surveillance applications. The transition from analog to digital video raises difficulties for using ...
DATE
2004
IEEE
14 years 12 days ago
2004
IEEE
In this paper, we present various challenges that arise in the delivery and exchange of multimedia information to mobile devices. Specifically, we focus on techniques for maintain...
MOBISYS
2005
ACM
14 years 8 months ago
2005
ACM
Sensor network nodes exhibit characteristics of both embedded systems and general-purpose systems. They must use little energy and be robust to environmental conditions, while als...