Sciweavers

2357 search results - page 262 / 472
» interfaces 2007
Sort
View
121
Voted
ICECCS
2007
IEEE
95views Hardware» more  ICECCS 2007»
15 years 11 months ago
A Formal Contract Language for Plugin-based Software Engineering
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
Jens Dietrich, John G. Hosking, Jonathan Giles
ICON
2007
IEEE
15 years 11 months ago
Definition and Implementation of Logical Function Blocks Compliant to ForCES Specification
—IETF ForCES (Forwarding and Control Element Separation) is defining specifications for interfaces and modular resources abstractions in open programmable network equipments. Acc...
Ligang Dong, Fenggen Jia, Weiming Wang
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
15 years 11 months ago
Managing non-determinism in symbolic robot motion planning and control
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
Marius Kloetzer, Calin Belta
149
Voted
ICRA
2007
IEEE
162views Robotics» more  ICRA 2007»
15 years 11 months ago
Impedance Behaviors for Two-handed Manipulation: Design and Experiments
— The control of humanoid manipulators is very challenging due to the large number of degrees of freedom and the resulting redundancy. Using joint-level control complex planning ...
Thomas Wimböck, Christian Ott, Gerd Hirzinger
ICSNC
2007
IEEE
15 years 11 months ago
Automated QoS policy adaptation for heterogeneous access network environments
To support QoS guarantee and resource usage in heterogeneous access network environments more efficiently (UMTS, WIMAX, WLAN DVB-T, DVB-H), there is the challenge of automated con...
Pedro A. Aranda-Gutiérrez, Ilka Miloucheva