Sciweavers

2922 search results - page 492 / 585
» On Relationships Between Query Models
Sort
View
RR
2007
Springer
14 years 4 months ago
A Semantic Framework for Language Layering in WSML
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
Jos de Bruijn, Stijn Heymans
ACSD
2006
IEEE
154views Hardware» more  ACSD 2006»
14 years 4 months ago
Concurrency in Distributed Systems under Autonomous and Enforced Actions
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
Arnim Wedig, Horst F. Wedde, Anca M. Lazarescu, El...
ICRA
2006
IEEE
107views Robotics» more  ICRA 2006»
14 years 4 months ago
Improving Telerobotic Touch via High-frequency Acceleration Matching
— Humans rely on information-laden high-frequency accelerations in addition to quasi-static forces when interacting with objects via a handheld tool. Telerobotic systems have tra...
Katherine J. Kuchenbecker, Günter Niemeyer
IPPS
2006
IEEE
14 years 4 months ago
Improving cooperation in peer-to-peer systems using social networks
Rational and selfish nodes in P2P systems usually lack effective incentives to cooperate, contributing to the increase of free-riders, and degrading the system performance. Variou...
Wenyu Wang, Li Zhao, Ruixi Yuan
MICRO
2006
IEEE
114views Hardware» more  MICRO 2006»
14 years 4 months ago
Authentication Control Point and Its Implications For Secure Processor Design
Secure processor architecture enables tamper-proof protection on software that addresses many difficult security problems such as reverse-engineering prevention, trusted computing...
Weidong Shi, Hsien-Hsin S. Lee