Sciweavers

1691 search results - page 245 / 339
» Creativity methods in interaction design
Sort
View
TASE
2009
IEEE
16 years 2 days 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...
159
Voted
ICDE
2007
IEEE
111views Database» more  ICDE 2007»
15 years 11 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»
15 years 11 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
15 years 11 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
15 years 11 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