47 search results - page 9 / 10 » Semantics and Implementation of a Generalized forall Stateme... |
KBSE
2007
IEEE
14 years 3 days ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
DCOSS
2007
Springer
13 years 12 months ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
MIDDLEWARE
2007
Springer
13 years 12 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
ICMI
2005
Springer
13 years 11 months ago
2005
Springer
This article presents a User Interface (UI) framework for multimodal interactions targeted at immersive virtual environments. Its configurable input and gesture processing compon...
HPDC
2010
IEEE
13 years 6 months ago
2010
IEEE
Visualization of large-scale high dimensional data tool is highly valuable for scientific discovery in many fields. We present PubChemBrowse, a customized visualization tool for c...