Sciweavers

179 search results - page 22 / 36
» German-Lab Experimental Facility
Sort
View
TACAS
2005
Springer
113views Algorithms» more  TACAS 2005»
15 years 3 months ago
jETI: A Tool for Remote Tool Integration
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
Tiziana Margaria, Ralf Nagel, Bernhard Steffen
AAAI
2007
14 years 11 months ago
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...
Pascal Van Hentenryck, Laurent D. Michel
TASE
2010
IEEE
14 years 4 months ago
Analytic Calculus of Response Time in Networked Automation Systems
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
Boussad Addad, Said Amari, Jean-Jacques Lesage
ISWC
1999
IEEE
15 years 1 months ago
Situated Documentaries: Embedding Multimedia Presentations in the Real World
We describe an experimental wearable augmented reality system that enables users to experience hypermedia presentations that are integrated with the actual outdoor locations to wh...
Tobias Höllerer, John V. Pavlik, Steven Feine...
VLDB
1994
ACM
148views Database» more  VLDB 1994»
15 years 1 months ago
Fast Incremental Indexing for Full-Text Information Retrieval
Full-text information retrieval systems have traditionally been designed for archival environments. They often provide little or no support for adding new documents to an existing...
Eric W. Brown, James P. Callan, W. Bruce Croft