Sciweavers

1866 search results - page 45 / 374
» Dynamic instantiation-checking components
Sort
View
127
Voted
ICRA
2009
IEEE
146views Robotics» more  ICRA 2009»
15 years 11 days ago
Optimized passive dynamics improve transparency of haptic devices
For haptic devices, compensation of the robot's gravity is a frequent strategy with the aim to reduce interaction forces between robot and human in zero-impedance control. How...
Heike Vallery, Alexander Duschau-Wicke, Robert Rie...
139
Voted
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 10 days ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
118
Voted
ICDE
2010
IEEE
292views Database» more  ICDE 2010»
16 years 2 months ago
Usher: Improving Data Quality With Dynamic Forms
Data quality is a critical problem in modern databases. Data entry forms present the first and arguably best opportunity for detecting and mitigating errors, but there has been li...
Kuang Chen, Harr Chen, Neil Conway, Joseph M. Hell...
118
Voted
NOCS
2007
IEEE
15 years 9 months ago
Implementation and Evaluation of a Dynamically Routed Processor Operand Network
— Microarchitecturally integrated on-chip networks, or micronets, are candidates to replace busses for processor component interconnect in future processor designs. For micronets...
Paul Gratz, Karthikeyan Sankaralingam, Heather Han...
135
Voted
ICDCS
2005
IEEE
15 years 8 months ago
Resource-Aware Distributed Stream Management Using Dynamic Overlays
We consider distributed applications that continuously stream data across the network, where data needs to be aggregated and processed to produce a 'useful' stream of up...
Vibhore Kumar, Brian F. Cooper, Zhongtang Cai, Gre...