Sciweavers

3718 search results - page 429 / 744
» Programming by Integration in Robotics
Sort
View
BTW
2005
Springer
177views Database» more  BTW 2005»
16 years 25 days ago
Composing Web Services Specifications: Experiences in Implementing Policy-Driven Transactional Processes
: The Web Services architecture defines various specifications that applications may wish to use in combination. In this paper, we investigate the composition of the Web services s...
Stefan Tai
CP
2005
Springer
16 years 24 days ago
Lookahead Saturation with Restriction for SAT
We present a new and more efficient heuristic by restricting lookahead saturation (LAS) with NVO (neighbourhood variable ordering) and DEW (dynamic equality weighting). We report o...
Anbulagan, John K. Slaney
UM
2005
Springer
16 years 22 days ago
A Decomposition Model for the Layered Evaluation of Interactive Adaptive Systems
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
Alex Paramythis, Stephan Weibelzahl
DISCEX
2003
IEEE
16 years 17 days ago
Lessons Learned in Using Live Red Teams in IA Experiments
The DARPA Information Assurance (IA) and Operational Partners in Experimentation (OPX) Programs have conducted over a dozen laboratory-based experiments involving live red teams s...
David Levin
IDEAS
2003
IEEE
120views Database» more  IDEAS 2003»
16 years 16 days ago
A Framework for Customisable Schema Evolution in Object-Oriented Databases
This paper describes an evolution framework supporting customisation of the schema evolution and instance adaptation approaches in an object database management system. The framew...
Awais Rashid