10038 search results - page 410 / 2008 » Model Checking for Managers |
161
click to vote
ACMDIS
2004
ACM
16 years 8 days ago
2004
ACM
This paper presents the development of a lightweight component model that allows user to manage the
152
click to vote
WSC
1998
15 years 8 months ago
1998
Supply chain management has become one of the most important sources of competitive advantage in telecommunication equipment manufacturing during the 1990
230
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
185
click to vote
DBSEC
2006
15 years 8 months ago
2006
We propose a notarized federated identity management model that supports efficient user authentication when providers are unknown to each other. Our model introduces a notary servi...
171
click to vote
USENIX
2008
15 years 9 months ago
2008
As Internet services become ubiquitous, the selection and management of diverse server platforms now affects the bottom line of almost every firm in every industry. Ideally, such ...