Sciweavers

1588 search results - page 16 / 318
» Modular action language
Sort
View
ICRA
2009
IEEE
109views Robotics» more  ICRA 2009»
14 years 4 months ago
Self-adapting modular robotics: A generalized distributed consensus framework
Abstract— Biological systems achieve amazing adaptive behavior with local agents performing simple sensing and actions. Modular robots with similar properties can potentially ach...
Chih-Han Yu, Radhika Nagpal
EICS
2010
ACM
14 years 29 days ago
Improving modularity and usability of interactive systems with Malai
In this paper we present Malai, a model-based user interface development environment. Malai is dedicated to the conception of post-WIMP (Window, Icon, Menu, Pointing device) inter...
Arnaud Blouin, Olivier Beaudoux
POPL
2009
ACM
14 years 4 months ago
Speculative N-Way barriers
Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well ...
Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, ...
MMMACNS
2001
Springer
14 years 2 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
ATAL
2006
Springer
14 years 1 months ago
Enhancing agent-oriented models with aspects
The modular representation of concerns is imperative in the design modeling of multi-agent systems (MASs). However, MAS designers typically face a number of concerns that inherent...
Alessandro F. Garcia, Christina Chavez, Ricardo Ch...