Sciweavers

1554 search results - page 253 / 311
» An Overview of the Spring System
Sort
View
CLADE
2003
IEEE
14 years 1 months ago
ADViCE over Grid Services: Initial Deployment
The complexity of computational grid applications and their environments has been increased due to the heterogeneity of resources; complexity, continuous changes of the applicatio...
Yoonhee Kim, Ilkyeun Ra, Sung-Yong Park, Byoung uk...
EDOC
2003
IEEE
14 years 1 months ago
MQL: a Powerful Extension to OCL for MOF Queries
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...
David Hearnden, Kerry Raymond, Jim Steel
HICSS
2003
IEEE
138views Biometrics» more  HICSS 2003»
14 years 1 months ago
Towards Verifying Parametrised Hardware Libraries with Relative Placement Information
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
Steve McKeever, Wayne Luk, Arran Derbyshire
ISSRE
2003
IEEE
14 years 1 months ago
DARX - A Framework For The Fault-Tolerant Support Of Agent Software
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 ...
Olivier Marin, Marin Bertier, Pierre Sens
AI
2003
Springer
14 years 29 days ago
DIAGAL: A Tool for Analyzing and Modelling Commitment-Based Dialogues between Agents
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
Marc-André Labrie, Brahim Chaib-draa, Nicol...