10038 search results - page 1985 / 2008 » Model Checking for Managers |
144
click to vote
ELPUB
2008
ACM
15 years 5 months ago
2008
ACM
Background: Sharing data is a tenet of science, yet commonplace in only a few subdisciplines. Recognizing that a data sharing culture is unlikely to be achieved without policy gui...
230
click to vote
CCE
2007
15 years 5 months ago
2007
: The concept of Virtual Organisation (VO) offers various solutions to management, collaboration and coordination issues important for distributed collaborating teams. Deployment o...
122
click to vote
MKWI
2008
15 years 5 months ago
2008
: Service-oriented architectures (SOA) are recent architectures enabling interoperable machine-to-machine process interaction by generating a comprehensive view of independent soft...
144
click to vote
BXML
2004
15 years 5 months ago
2004
: ExtraPlanT system is a multi-agent production planning system designed for small factories, which needs to react quickly on market changes. To deal with this requirement, ExtraPl...
147
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
This paper presents a method of constructing pre-routed FPGA cores which lays the foundations for a rapid system construction framework for dynamically reconfigurable computing sy...