Sciweavers

3676 search results - page 14 / 736
» Scalable component abstractions
Sort
View
AGENTS
2001
Springer
15 years 2 months ago
Building agents for service provisioning out of components
The CASA architecture describes a platform for the provisioning of services by agents by supporting three levels of agent design. At the base level is a framework to build an agen...
Ralf Sesseler
CD
2005
Springer
15 years 3 months ago
Deployment of Infrastructure and Services in the Open Grid Services Architecture (OGSA)
Abstract. The ability to deploy Grid infrastructure and services across organizational boundaries (rapidly, reliably, and scalably) is critical for the success of large-scale servi...
Paul Brebner, Wolfgang Emmerich
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
15 years 1 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
85
Voted
PUC
2010
121views more  PUC 2010»
14 years 8 months ago
The BehaviorScope framework for enabling ambient assisted living
Abstract The in-house monitoring of elders using intelligent sensors is a very desirable service that has the potential of increasing autonomy and independence while minimizing the...
Athanasios Bamis, Dimitrios Lymberopoulos, Thiago ...
TOOLS
1999
IEEE
15 years 1 months ago
Communication as a Means to Differentiate Objects, Components and Agents
the right abstractions is important for managing the complexity of your system. Three t abstractions used today are object, component and agent. Many similarities exist these abst...
Dwight Deugo, Franz Oppacher, Bruce Ashfield, Mich...