4870 search results - page 780 / 974 » Challenges of component-based development |
273
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
225
click to vote
IWQOS
2011
Springer
14 years 9 months ago
2011
Springer
—Supporting Quality-of-Service resource reservations for IP multicast flows is especially advantageous for distributed multimedia applications like video conferencing, 3D teleim...
169
click to vote
JAISE
2011
14 years 9 months ago
2011
Person tracking is an important topic in ambient living systems as well as in computer vision. In particular, detecting a person from a ceiling-mounted camera is a challenge since ...
211
click to vote
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
— Supporting interactive, multiplayer games on mobile phones over cellular networks is a difficult problem. It is particularly relevant now with the explosion of mostly single-p...
201
click to vote
PERCOM
2011
ACM
14 years 9 months ago
2011
ACM
Abstract—The adaptive ubiquitous services, which dynamically adapt behaviors to requirements and contexts, are one of the major challenges in the ubiquitous computing. To facilit...