5252 search results - page 660 / 1051 » Logic in Access Control |
172
click to vote
FORTE
1994
15 years 8 months ago
1994
We discuss four issues concerning the semantics of Message Flow Graphs (MFGs). MFGs are extensively used as pictures of message-passing behavior. One type of MFG, Message Sequence...
187
click to vote
ENTCS
2006
15 years 6 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
217
click to vote
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
Push-to-Talk (PTT) is a useful capability for rapidly deployable wireless mesh networks used by first responders. PTT allows several users to speak with each other while using a si...
220
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
227
click to vote
ISCA
2012
IEEE
13 years 9 months ago
2012
IEEE
Wide SIMD-based GPUs have evolved into a promising platform for running general purpose workloads. Current programmable GPUs allow even code with irregular control to execute well...