2106 search results - page 291 / 422 » Operational Semantics for DyLPs |
184
click to vote
DSVIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
145
click to vote
ESWS
2005
Springer
15 years 12 months ago
2005
Springer
Semantic Web technologies offer the possibility of increased accuracy and completeness in search and retrieval operations. In recent years, curators of data resources have begun f...
191
click to vote
EUC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A dramatic increase of event monitoring capabilities by wireless sensors requires new, more sophisticated, event correlation over time and space. This new paradigm implie...
156
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
154
click to vote
WEBI
2005
Springer
15 years 12 months ago
2005
Springer
We present a middleware system that facilitates Internet users’ access to web-based digital music libraries and allows them to manipulate audio meta-information taking into cons...