1520 search results - page 4 / 304 » Class Hierarchy Specialization |
DAGSTUHL
2007
13 years 9 months ago
2007
Abstract. Enhanced RFID tag technology especially in the UHF frequency range provides extended functionality like high operating range and sensing and monitoring capabilities. Such...
SEFM
2008
IEEE
14 years 2 months ago
2008
IEEE
Aspect oriented programming can arbitrarily distort the semantics of programs. In particular, weaving can invalidate crucial safety and liveness properties of the base program. In...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this work a novel control method is presented for controlling the forward speed and apex height of a special class of running quadruped robot, with a dimensionless inertia o...
CACM
2000
13 years 7 months ago
2000
Class Hierarchies, Factories, and Stable Designs M uch of the debate about the general aptness of class hierarchies is rooted in the different objectives taxonomists and implemente...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...