9110 search results - page 358 / 1822 » Formally-Based Design Evaluation |
166
click to vote
CLUSTER
2002
IEEE
2002
IEEE
Design and Validation of Portable Communication Infrastructure for Fault-Tolerant Cluster Middleware
15 years 11 months ago
We describe the communication infrastructure (CI) for our fault-tolerant cluster middleware, which is optimized for two classes of communication: for the applications and for the ...
184
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper a visual approach to querying in large spatial databases is presented. A diagrammatic technique utilising a data flow metaphor is used to express different kinds of...
188
click to vote
EVOW
2009
Springer
15 years 11 months ago
2009
Springer
This paper deals with the generation of balanced incomplete block designs (BIBD), a hard constrained combinatorial problem with multiple applications. This problem is here formulat...
170
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
225
click to vote
IDEAS
1998
IEEE
15 years 11 months ago
1998
IEEE
We develop an infrastructure for managing, indexing and serving multimedia content in digital libraries. This infrastructure follows the model of the web, and thereby is distribut...