Sciweavers

2062 search results - page 160 / 413
» Hardware Objects for Java
Sort
View
ACSC
2004
IEEE
14 years 1 months ago
Strength Reduction for Loop-Invariant Types
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
Phung Hua Nguyen, Jingling Xue
ISIM
2007
13 years 10 months ago
Transformations from EDOC to EJB by Composition of Mapping Operations
Transformations from the Enterprise Distributed Object Computing (EDOC) to Enterprise JavaBeans (EJB) are examined herein from the point of view of an efficiency characteristic of ...
Dariusz Gall
CN
1999
102views more  CN 1999»
13 years 9 months ago
Web-Enabled Smart Card for Ubiquitous Access of Patient's Medical Record
The combined benefits of smart card to support mobility in a pocket coupled with the ubiquitous access of Web technology, present a new paradigm for medical information access sys...
Alvin T. S. Chan
COORDINATION
2010
Springer
13 years 7 months ago
Efficient Session Type Guided Distributed Interaction
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Zi...
IROS
2006
IEEE
97views Robotics» more  IROS 2006»
14 years 3 months ago
Spatial Reasoning for Real-time Robotic Manipulation
Abstract – Presented in this paper is an approach to realtime spatial reasoning for manipulative robotic tasks. When a service robot is requested to manipulate an object, it shou...
Han-Young Jang, Hadi Moradi, Suyeon Hong, Sukhan L...