1456 search results - page 233 / 292 » An Overview of the SODA System |
ACSD
2003
IEEE
14 years 3 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
CLADE
2003
IEEE
14 years 3 months ago
2003
IEEE
The complexity of computational grid applications and their environments has been increased due to the heterogeneity of resources; complexity, continuous changes of the applicatio...
EDOC
2003
IEEE
14 years 3 months ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
ISSRE
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents DARX, our framework for building applications that provide adaptive fault tolerance. It relies on the fact that multi-agent platforms constitute a very strong ...