3684 search results - page 326 / 737 » Generic Support for Distributed Applications |
183
click to vote
EDOC
2009
IEEE
15 years 10 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
205
click to vote
GRID
2007
Springer
15 years 6 months ago
2007
Springer
In e-Science experiments, it is vital to record the experimental process for later use such as in interpreting results, verifying that the correct process took place or tracing whe...
188
click to vote
TPHOL
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
159
click to vote
AIPS
2008
15 years 9 months ago
2008
We present a planner for the Combat Power Management (CPM) problem. In response to multiple simultaneous or sequential threats, the planner generates a set of local plans, one for...
200
click to vote
IDEAS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...