Sciweavers

1651 search results - page 160 / 331
» Negotiable Interfaces for Components
Sort
View
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 5 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
CORR
2007
Springer
120views Education» more  CORR 2007»
15 years 4 months ago
Remote laboratories: new technology and standard based architecture
E-Laboratories are important components of elearning environments, especially in scientific and technical disciplines. First widespread E-Labs consisted in proposing simulations o...
Hcene Benmohamed, Arnaud Lelevé, Patrick Pr...
MOC
2000
69views more  MOC 2000»
15 years 3 months ago
Uniform hp convergence results for the mortar finite element method
The mortar finite element is an example of a non-conforming method which can be used to decompose and re-compose a domain into subdomains without requiring compatibility between th...
Padmanabhan Seshaiyer, Manil Suri
VLDB
2002
ACM
125views Database» more  VLDB 2002»
15 years 3 months ago
Self-tuning Database Technology and Information Services: from Wishful Thinking to Viable Engineering
Automatic tuning has been an elusive goal for database technology for a long time and is becoming a pressing issue for modern E-services. This paper reviews and assesses the advan...
Gerhard Weikum, Axel Mönkeberg, Christof Hass...
131
Voted
PUC
2010
121views more  PUC 2010»
15 years 2 months ago
The BehaviorScope framework for enabling ambient assisted living
Abstract The in-house monitoring of elders using intelligent sensors is a very desirable service that has the potential of increasing autonomy and independence while minimizing the...
Athanasios Bamis, Dimitrios Lymberopoulos, Thiago ...