1092 search results - page 94 / 219 » Automated Evaluation of Coordination Approaches |
187
click to vote
ESCIENCE
2006
IEEE
16 years 13 days ago
2006
IEEE
The core goal of resource management is to establish a mutual agreement between a resource producer and a resource consumer by which the provider agrees to supply a capability tha...
189
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...
136
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
Dealing with numerical information is practically important in many real-world planning domains where the executability of an action can depend on certain numerical conditions, an...
165
click to vote
ICSM
2008
IEEE
16 years 24 days ago
2008
IEEE
An automated approach to the identification of C++0x concepts in function templates is described. Concepts are part of a new language feature appearing in the next standard for C+...
166
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...