Sciweavers

2838 search results - page 195 / 568
» Verifying Controlled Components
Sort
View
ICDE
2007
IEEE
125views Database» more  ICDE 2007»
14 years 5 months ago
Improved Buffer Size Adaptation through Cache/Controller Coupling
Database workloads seldom remain static. A system tuned by an expert for the current environment, might not always remain optimal. To deal with this situation, database systems ha...
Christian A. Lang, Bishwaranjan Bhattacharjee, Tim...
ICDIM
2007
IEEE
14 years 5 months ago
Control validation of D.E.S systems: Application to remote laboratories
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors ...
Pascale Marange, François Gellot, Bernard R...
ISCIS
2005
Springer
14 years 4 months ago
Admission Control for Multicast Routing with Quality of Service in Ad Hoc Networks
Ad hoc networks, being able to organize themselves without user intervention, can easily provide their users with mobility, multimedia support and group communication. However, the...
Kaan Bür, Cem Ersoy
OTM
2005
Springer
14 years 4 months ago
On the Controlled Evolution of Access Rules in Cooperative Information Systems
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
Stefanie Rinderle, Manfred Reichert
ICRA
2002
IEEE
188views Robotics» more  ICRA 2002»
14 years 3 months ago
Control Architecture and Experiment of a Situated Robot System for Interactive Assembly
We present the development of and experiment with a robot system showing cognitive capabilities of children of three to four years. We focus on two topics: assembly by two hands a...
Jianwei Zhang, Alois Knoll