386 search results - page 39 / 78 » A Consistent Semantics of Self-adjusting Computation |
117
click to vote
MOBISYS
2010
ACM
15 years 4 months ago
2010
ACM
Docx2Go is a new framework to support editing of shared documents on mobile devices. Three high-level requirements influenced its design -- namely, the need to adapt content, espe...
132
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
109
click to vote
EDOC
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
114
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
114
click to vote
PERCOM
2010
ACM
15 years 9 days ago
2010
ACM
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...