Sciweavers

554 search results - page 49 / 111
» Modeling and Reasoning about Service Behaviors and Their Com...
Sort
View
KI
2010
Springer
15 years 12 days ago
Spatial Cognition: Reasoning, Action, Interaction
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
Christian Freksa, Holger Schultheis, Kerstin Schil...
DEBU
2008
121views more  DEBU 2008»
15 years 2 months ago
Choreography Design Using WS-BPEL
Web Services are the state-of-the-art realization of a service-oriented architecture. While there is an agreed standard to describe the interface of services (WSDL) as well as an ...
Oliver Kopp, Frank Leymann
AAMAS
2004
Springer
15 years 1 months ago
Automated Assistants for Analyzing Team Behaviors
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. The complex interactions of ag...
Ranjit Nair, Milind Tambe, Stacy Marsella, Taylor ...
AGP
1996
IEEE
15 years 6 months ago
Modular Analysis of Suspension Free cc Programs
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
Enea Zaffanella
142
Voted
ICECCS
2010
IEEE
162views Hardware» more  ICECCS 2010»
15 years 2 months ago
Trust-Based Adaptation in Complex Service-Oriented Systems
Abstract—Complex networks consisting of humans and software services, such as Web-based social and collaborative environments, typically require flexible and context-based inter...
Florian Skopik, Daniel Schall, Schahram Dustdar