Sciweavers

8644 search results - page 192 / 1729
» On the Composition of Secure Systems
Sort
View
IUI
2003
ACM
15 years 12 months ago
Power tools and composite tools: integrating automation with direct manipulation
This paper describes a drawing system that incorporates two novel interaction techniques based on analogies to physical tools. Power tools add limited autonomy in the form of rota...
John M. Daughtry, Robert St. Amant
IPPS
1999
IEEE
15 years 11 months ago
Examples of Program Composition Illustrating the Use of Universal Properties
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
Michel Charpentier, K. Mani Chandy
ICALT
2009
IEEE
15 years 10 months ago
Automated Planning for Personalised Course Composition
Authoring tools for building Intelligent Educational Systems must provide support to ensure flexibility, adaptability of content to the user profile, reusability and sharing of le...
Antonio Garrido, Eva Onaindia, Oscar Sapena
CMSB
2008
Springer
15 years 8 months ago
Compositional Definitions of Minimal Flows in Petri Nets
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...
Michael Pedersen
RSS
2007
147views Robotics» more  RSS 2007»
15 years 8 months ago
Composition of Vector Fields for Multi-Robot Manipulation via Caging
Abstract— This paper describes a novel approach for multirobot caging and manipulation, which relies on the team of robots forming patterns that trap the object to be manipulated...
Jonathan Fink, Nathan Michael, Vijay Kumar