Sciweavers

2550 search results - page 350 / 510
» Architecture as Language
Sort
View
ICSE
2007
IEEE-ACM
16 years 6 months ago
WebSob: A Tool for Robustness Testing of Web Services
Web services are a popular way of implementing a Service-Oriented Architecture. Testing can be used to help assure both the correctness and robustness of a web service. Because ma...
Evan Martin, Suranjana Basu, Tao Xie
PEPM
2009
ACM
16 years 3 months ago
Program interpolation
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
Andrew Moss, Dan Page
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
16 years 1 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...
IFIP
2009
Springer
16 years 1 months ago
A Flexible Framework for Complete Session Mobility and Its Implementation
Users with several devices need a convenient mechanism to transfer running service sessions from one device to another device. This paper proposes a framework that allows session m...
Marc Barisch, Jochen Kögel, Sebastian Meier
ACMSE
2009
ACM
16 years 1 months ago
AVARI: animated virtual agent retrieving information
Avari is a virtual receptionist for the Computer Science department at The University of North Carolina at Charlotte. Her components include background subtraction to detect a per...
Lauren Cairco, Dale-Marie Wilson, Vicky Fowler, Mo...