Sciweavers

1691 search results - page 245 / 339
» Creativity methods in interaction design
Sort
View
TASE
2009
IEEE
16 years 1 months ago
Fault-Based Test Case Generation for Component Connectors
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
Bernhard K. Aichernig, Farhad Arbab, Lacramioara A...
ICDE
2007
IEEE
111views Database» more  ICDE 2007»
16 years 1 months ago
Security Conscious Web Service Composition with Semantic Web Support
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...
Barbara Carminati, Elena Ferrari, Ryan Bishop, Pat...
SMC
2007
IEEE
150views Control Systems» more  SMC 2007»
16 years 1 months ago
Modeling and analysis of multi-agent systems using petri nets
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
Jose R. Celaya, Alan A. Desrochers, Robert J. Grav...
WACV
2007
IEEE
16 years 1 months ago
Stereo Matching and 3D Visualization for Gamma-Ray Cargo Inspection
In this paper, stereo matching and 3D visualization issues are studied for a linear pushbroom stereo model built for 3D gamma-ray (or x-ray) cargo inspection. A fast and automated...
Zhigang Zhu, Yu-Chi Hu
ATAL
2007
Springer
16 years 1 months ago
Dynamic semantics for agent communication languages
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
Michael Rovatsos