1251 search results - page 144 / 251 » Using Semantics for Resource Allocation in Computing Service... |
203
click to vote
CL
2007
Springer
15 years 6 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
250
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
132
click to vote
SIGGRAPH
2003
ACM
15 years 11 months ago
2003
ACM
Computer graphics has evolved considerably over the past few decades. As computer science, digital arts, and other areas of study that use computer graphics continue to evolve and...
149
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
Three experimental environments traditionally support network and distributed systems research: network emulators, network simulators, and live networks. The continued use of mult...
142
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
The Network Weather Service NWS is a distributed resource monitoring and utilization prediction system, employed as an aid to scheduling jobs in a metacomputing environment 9, 1...