7891 search results - page 1069 / 1579 » A Distributed Scheduling Framework |
188
click to vote
FTDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper discusses the lessons learned and decisions made while designing and developing a web-based application for the National Spatial Information Framework (NSIF) of South A...
206
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Many numerical solutions of large scale simulation models require finer discretizations in some regions of the computational grid. When this region is not known in advance, adapti...
188
click to vote
ISIPTA
1999
IEEE
15 years 11 months ago
1999
IEEE
The aim of this paper is to survey and brie y discuss various rules of conditioning proposed in the framework of possibility theory as well as various conditional independence rel...
219
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
185
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
As the properties of components have gradually become clearer, attention has started to turn to the architectural issues which govern their interaction and composition. In this pa...