128 search results - page 18 / 26 » se 2007 |
ECUMN
2007
Springer
14 years 5 months ago
2007
Springer
Pervasive systems enable us to have an overview of what digital environments will look like in the future. Opportunities given by pervasive systems, both in terms of applications ...
PVM
2007
Springer
14 years 5 months ago
2007
Springer
Institutional grids consist of the aggregation of clusters belonging to different administrative domains to build a single parallel machine. To run an MPI application over an inst...
HOTOS
2007
IEEE
14 years 2 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
DLOG
2007
14 years 1 months ago
2007
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...
CG
2007
Springer
13 years 11 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...