9095 search results - page 26 / 1819 » Service RT Systems |
CACM
2006
13 years 7 months ago
2006
: Computer scientists work with formal models of algorithms and computation, and someday service scientists may work with formal models of service systems, which we define as value...
AOIS
2003
13 years 9 months ago
2003
We are developing an approach for P2P information systems, where the peers are modeled as autonomous agents. Agents provide services or give referrals to one another to help find...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
This demonstration highlights the applications of our research work i.e. second generation (Scalable Fault Tolerant Agent Grooming Environment – SAGE) Multi Agent System, Integr...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
In Service-Oriented MAS middle-agents provide different kinds of matchmaking functionalities. If no adequate services are available for a specific request, a planning functionalit...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...