10038 search results - page 1510 / 2008 » Model Checking for Managers |
219
click to vote
TCS
2008
15 years 6 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
207
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
: Grid is an infrastructure that involves the integrated and collaborative use of computers, networks, databases and scientific instruments owned and managed by multiple organizati...
187
click to vote
CCR
2002
15 years 6 months ago
2002
Economic principles are increasingly being suggested for addressing some complex issues related to distributed resource allocation for QoS (Quality of Service) enhancement. Many p...
224
click to vote
SOPR
1998
15 years 6 months ago
1998
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...
210
click to vote
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
Scalable resource discovery services form the core of directory and other middleware services. Scalability requirements preclude centralized solutions. The need to have directory ...