1115 search results - page 63 / 223 » An Abstract Look at Realizability |
CSR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Ordering constraints are analogous to instances of the satisfiability problem in conjunctive normalform, but instead of a boolean assignment we consider a linear orderin...
SFM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
DSN
2008
IEEE
14 years 2 months ago
2008
IEEE
Soft state in the middle tier is key to enabling scalable and responsive three tier service architectures. While softstate can be reconstructed upon failure, replicating it across...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— In this paper we present an experimental evaluation of automatic robotic assembly of complex planar parts. The torque-controlled DLR light-weight robot, equipped with a...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—In this paper we study optimal transmission strategies in wireless ad-hoc networks using directional antennas. Each node is capable of adjusting its transmission rate as...