Sciweavers

909 search results - page 127 / 182
» An Immune System Approach to Scheduling in Changing Environm...
Sort
View
FSEN
2009
Springer
15 years 1 months ago
Executable Interface Specifications for Testing Asynchronous Creol Components
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. ...
ICRA
2008
IEEE
108views Robotics» more  ICRA 2008»
15 years 4 months ago
Detecting structural ambiguities and transitions during a guided tour
— Service robots designed for domestic settings need to navigate in an environment that they have to share with their users. Thus, they have to be able to report their current st...
Elin Anna Topp, Henrik I. Christensen
SIGMOD
2000
ACM
158views Database» more  SIGMOD 2000»
15 years 2 months ago
NiagaraCQ: A Scalable Continuous Query System for Internet Databases
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an ac...
Jianjun Chen, David J. DeWitt, Feng Tian, Yuan Wan...
VLDB
2005
ACM
103views Database» more  VLDB 2005»
15 years 3 months ago
Mapping Maintenance for Data Integration Systems
To answer user queries, a data integration system employs a set of semantic mappings between the mediated schema and the schemas of data sources. In dynamic environments sources o...
Robert McCann, Bedoor K. AlShebli, Quoc Le, Hoa Ng...
INFORMATICALT
2010
101views more  INFORMATICALT 2010»
14 years 8 months ago
An Improved Differential Evolution Scheme for the Solution of Large-Scale Unit Commitment Problems
This paper presents an improved differential evolution (IDE) method for the solution of large-scale unit commitment (UC) problems. The objective of the proposed scheme is to determ...
Chen-Sung Chang