265 search results - page 2 / 53 » Differences Triple Spaces = Active Triple Spaces |
INTELLCOMM
2004
Springer
13 years 10 months ago
2004
Springer
This paper discusses possible routes to moving the web from a collection of human readable pieces of information connecting humans, to a web that connects computing devices based o...
ICDE
2007
IEEE
14 years 6 months ago
2007
IEEE
Database search for images containing icons with specific mutual spatial relationships can be facilitated by an appropriately structured index. For the case of images containing s...
JOT
2007
13 years 4 months ago
2007
Workflow and business process modeling approaches have become essential for designing service collaborations when developing SOA-based systems. To derive actual executable busines...
CSL
2009
Springer
13 years 11 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
SAC
2005
ACM
13 years 10 months ago
2005
ACM
In ubiquitous computing era, the notion of context-awareness will play an important role. An application should be aware of its operating context for supporting and enriching huma...