1040 search results - page 21 / 208 » Controlling Aspect Reentrancy |
102
Voted
ECEASST
2008
15 years 3 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
127
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— We present an interface for controlling mobile robots that combines aspects of graphical trajectory specification and state-based programming. This work is motivated by common...
137
Voted
MHCI
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we describe a project which uses PDAs to provide an interactive experience with a virtual environment. In particular, we focus on the navigational aspects of allowi...
132
Voted
RELMICS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
115
Voted
CCS
2003
ACM
15 years 9 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...