Sciweavers

1040 search results - page 21 / 208
» Controlling Aspect Reentrancy
Sort
View
ECEASST
2008
106views more  ECEASST 2008»
15 years 15 days ago
Controlling resource access in Directed Bigraphs
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
Davide Grohmann, Marino Miculan
ICRA
2010
IEEE
131views Robotics» more  ICRA 2010»
14 years 11 months ago
Graphical state-space programmability as a natural interface for robotic control
— 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...
Junaed Sattar, Anqi Xu, Gregory Dudek, Gabriel Cha...
MHCI
2005
Springer
15 years 6 months ago
Navigation control for mobile virtual environments
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...
Gary Marsden, Nicholas Tip
101
Voted
RELMICS
2005
Springer
15 years 6 months ago
Control-Flow Semantics for Assembly-Level Data-Flow Graphs
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...
Wolfram Kahl, Christopher Kumar Anand, Jacques Car...
92
Voted
CCS
2003
ACM
15 years 5 months ago
Formal access control analysis in the software development process
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...
Manuel Koch, Francesco Parisi-Presicce