4460 search results - page 350 / 892 » Resources in process algebra |
219
click to vote
IGARSS
2009
15 years 4 months ago
2009
Scientific Workflows provides a technology that facilitates researchers by allowing them to capture in a machine processable manner the method relating to some research. This incr...
200
click to vote
BIRTHDAY
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
297
click to vote
ICDE
1996
IEEE
16 years 8 months ago
1996
IEEE
Query folding refers to the activity of determining if and how a query can be answered using a given set of resources, which might be materialized views, cached results of previou...
169
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
This paper formalizes transactional properties for publish/subscribe client mobility and develops protocols to realize them. Evaluations show that compared to traditional protocol...
158
click to vote
IEAAIE
2009
Springer
16 years 1 months ago
2009
Springer
A computational agent model for monitoring and control of a virtual human agent’s resources and exhaustion is presented. It models a physically grounded intelligent decision maki...