Sciweavers

4205 search results - page 90 / 841
» Typed Mobile Objects
Sort
View
118
Voted
ROBIO
2006
IEEE
105views Robotics» more  ROBIO 2006»
15 years 9 months ago
Motion Planning for a Mobile Manipulator with Several Grasping Postures
— In this paper a motion planning method for a mobile manipulator is proposed. In general, humans can grasp an object by various way which depends on object posture, position and...
Kimitoshi Yamazaki, Masahiro Tomono, Takashi Tsubo...
107
Voted
ISDA
2008
IEEE
15 years 10 months ago
Rough Set Granularity in Mobile Web Pre-caching
Mobile Web pre-caching (Web prefetching and caching) is an explication of performance enhancement and storage limitation of mobile devices. In this paper, we present the granulari...
Sarina Sulaiman, Siti Mariyam Hj. Shamsuddin, Ajit...
131
Voted
SRDS
1995
IEEE
15 years 7 months ago
Supporting Semantics-Based Transaction Processing in Mobile Database Applications
Advances in computer and telecommunication technologies have made mobile computing a reality. However, greater mobility implies a more tenuous network connection and a higher rate...
Gary D. Walborn, Panos K. Chrysanthis
135
Voted
SAS
2004
Springer
132views Formal Methods» more  SAS 2004»
15 years 9 months ago
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
Qi Sun, Anindya Banerjee, David A. Naumann
143
Voted
ENTCS
2006
120views more  ENTCS 2006»
15 years 3 months ago
SCHOOL: a Small Chorded Object-Oriented Language
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
Sophia Drossopoulou, Alexis Petrounias, Alex Buckl...