10038 search results - page 444 / 2008 » Model Checking for Managers |
199
click to vote
EDBT
2006
ACM
15 years 10 months ago
2006
ACM
As data management applications grow more complex, they may need efficient distributed query processing, but also subscription management, data archival etc. To enact such applicat...
168
click to vote
WSC
1998
15 years 8 months ago
1998
This paper proposes an integration test-bed system for supply chain management, which forms the foundation for the construction of a valued manufacturing chain. The core system of...
190
click to vote
NOMS
2010
IEEE
15 years 5 months ago
2010
IEEE
—Integration of data from multiple sources makes it possible to build effective systems management solutions. Despite the expected benefits, data integration remains a challenge....
215
click to vote
CSFW
2011
IEEE
14 years 6 months ago
2011
IEEE
—We propose a much-needed formal definition of security for cryptographic key management APIs. The advantages of our definition are that it is general, intuitive, and applicabl...
195
click to vote
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...