10038 search results - page 1775 / 2008 » Model Checking for Managers |
120
click to vote
ER
2007
Springer
15 years 11 months ago
2007
Springer
The longstanding problem of automatic table interpretation still illudes us. Its solution would not only be an aid to table processing applications such as large volume table conve...
151
click to vote
ESAW
2007
Springer
15 years 11 months ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
169
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Design for specific customer service plays a crucial role for the majority of the market in modern electronics. However, adaptability to an individual customer results in increasi...
124
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Kinds of load balancing middleware have already been applied successfully in distributed computing. However, they don’t take the services types into consideration and for differe...
148
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...