Sciweavers

3458 search results - page 335 / 692
» Abstracting Control
Sort
View
ATAL
2007
Springer
15 years 10 months ago
Practical extensions in agent programming languages
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
EUROPAR
2005
Springer
15 years 10 months ago
The Periodic-Linear Model of Program Behavior Capture
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
Philippe Clauss, Bénédicte Kenmei, J...
ECOOP
2003
Springer
15 years 9 months ago
Open APIs for Embedded Security
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...
Carl A. Gunter
HOTOS
1997
IEEE
15 years 8 months ago
The Role of Trace Modulation in Building Mobile Computing Systems
ty of accurately re-creating a mobile networkingAbstract environment in vitro argues for live experiments. On the In this paper we put forth the view that trace other hand, the dif...
Mahadev Satyanarayanan, Brian Noble
IROS
2009
IEEE
121views Robotics» more  IROS 2009»
15 years 11 months ago
Microparticle manipulation using multiple untethered magnetic micro-robots on an electrostatic surface
Abstract— This work presents the control of multiple untethered rectilinear magnetic micro-robots (Mag-µBots) with dimensions 250 × 130 × 100 µm3 actuated by pulsed external ...
Steven Floyd, Chytra Pawashe, Metin Sitti