1251 search results - page 198 / 251 » Using Semantics for Resource Allocation in Computing Service... |
141
click to vote
WOLLIC
2009
Springer
15 years 8 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
205
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
Network data models are frequently used as a mechanism to describe the connectivity between spatial features in many emerging GIS applications (location-based services, transporta...
123
click to vote
IOR
2007
15 years 1 months ago
2007
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...
116
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
123
click to vote
ESCIENCE
2006
IEEE
15 years 5 months ago
2006
IEEE
Grid technology can offer a powerful infrastructure for a broad spectrum of (scientific) application areas, but the uptake of grids by "real" applications has been slow....