Sciweavers

7434 search results - page 112 / 1487
» Still
Sort
View
HOTOS
2009
IEEE
15 years 8 months ago
Augmented Smartphone Applications Through Clone Cloud Execution
Smartphones enable a new, rich user experience in pervasive computing, but their hardware is still very limited in terms of computation, memory, and energy reserves, thus limiting...
Byung-Gon Chun, Petros Maniatis
ACSD
2004
IEEE
160views Hardware» more  ACSD 2004»
15 years 8 months ago
Concurrency in Synchronous Systems
In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis ...
Dumitru Potop-Butucaru, Benoît Caillaud, Alb...
ACSD
2006
IEEE
76views Hardware» more  ACSD 2006»
15 years 8 months ago
Specification and Verification of Dynamic Communication Systems
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd W...
APWEB
2006
Springer
15 years 8 months ago
Web-Based Genomic Information Integration with Gene Ontology
Despite the dramatic growth of online genomic data, their understanding is still in early stage. To have meaningful interpretation, it requires the integration of various types of ...
Kai Xu
EUROMICRO
2004
IEEE
15 years 8 months ago
Formally Designing Web Services for Mobile Team Collaboration
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
Schahram Dustdar, Pascal Fenkam