3908 search results - page 522 / 782 » A model for service-oriented communication systems |
232
click to vote
MOBICOM
2004
ACM
16 years 25 days ago
2004
ACM
Advances in wireless communication, storage and processing are realizing next-generation in-vehicle entertainment systems. Even if hundreds of different video or audio titles are...
236
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
220
click to vote
FAC
2007
15 years 7 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
204
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we tackle challenges in migrating enterprise services into hybrid cloud-based deployments, where enterprise operations are partly hosted on-premise and partly in th...
208
click to vote
MOBISYS
2005
ACM
16 years 7 months ago
2005
ACM
LiveMail is a prototype system that allows mobile subscribers to communicate using personalized 3D face models created from images taken by their phone cameras. The user takes a s...