10038 search results - page 1800 / 2008 » Model Checking for Managers |
142
click to vote
DSOM
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we describe an approach for automatically generating configurations for complex applications. Automated generation of system co nfigurations is required to allow lar...
147
click to vote
GRID
2004
Springer
15 years 10 months ago
2004
Springer
Much experience has been gained with the protocols and mechanisms needed for discovery and allocation of remote computational resources. However, the preparation of a remote compu...
278
Voted
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Theoretical modeling of chemical and biological processes is a key to understand nature and to predict experiments. Unfortunately, this is very data and computation extensive. Howe...
133
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
118
Voted
INEX
2004
Springer
15 years 10 months ago
2004
Springer
Queries over XML documents challenge search engines to return the most relevant XML components that satisfy the query concepts. In a previous work[6] we described an algorithm to ...