10038 search results - page 1507 / 2008 » Model Checking for Managers |
172
click to vote
ECSA
2010
Springer
15 years 7 months ago
2010
Springer
The use of the term ecosystem in the context of extensible software platforms and third-party developers or user communities has made us ponder about the similarities between soft...
203
click to vote
AEI
2007
15 years 7 months ago
2007
A peer-to-peer (p2p) based service flow management system, SwinDeW-S, could support decentralised Web service composition, deployment and enactment. However, traditional workflow ...
173
click to vote
ANOR
2006
15 years 7 months ago
2006
This paper examines the effectiveness of joint decision making within 87 pairs of buyer-supplier relationships in manufacturing. Joint decision making is an important attribute of ...
178
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
While risk-sensitive (RS) approaches for designing plans of total productive maintenance are critical in manufacturing systems, there is little in the literature by way of theoret...
244
click to vote
CLUSTER
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents a data management solution which allows fast Virtual Machine (VM) instantiation and efficient run-time execution to support VMs as execution environments in Gri...