2917 search results - page 390 / 584 » Satisfying Interaction Constraints |
180
click to vote
TOOLS
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
197
click to vote
PG
2007
IEEE
16 years 24 days ago
2007
IEEE
Vector Field Based Shape Deformations (VFSD) have been introduced as an efficient method to deform shapes in a volume-preserving foldover-free manner. However, mainly simple impl...
156
click to vote
CODES
2006
IEEE
16 years 17 days ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
158
click to vote
ICRA
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...
147
click to vote
WIKIS
2006
ACM
16 years 14 days ago
2006
ACM
In this paper we propose a new wiki concept — light constraints — designed to encode community best practices and domain-specific requirements, and to assist in their applica...