3468 search results - page 456 / 694 » An open logical framework |
121
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Robotic manipulation is important for real, physical world applications. General Purpose manipulation with a robot (eg. delivering dishes, opening doors with a key, etc...
117
Voted
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
— There is a long history of investigations and debates on whether a sequence of retiming and resynthesis is complete for all sequential transformations (on steady states). It ha...
127
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Internet business-to-business transactions present great challenges in merging information from different sources. In this paper we describe a project to integrate four ...
154
click to vote
DSN
2008
IEEE
15 years 10 months ago
2008
IEEE
Multi-Instance-Precommit (MIP) has been recently presented as an innovative transaction management scheme in support of reliability for Atomic Transactions in multitier (e.g. Web-...
137
click to vote
ADHOCNOW
2008
Springer
15 years 10 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...