Sciweavers

5252 search results - page 50 / 1051
» Logic in Access Control
Sort
View
WINET
2002
99views more  WINET 2002»
13 years 10 months ago
Medium Access Control for ATM-to-CDMA Interface
An integrated medium access control framework for a direct sequence code-division multiple access (CDMA) radio access to an asynchronous transfer mode (ATM) network is considered. ...
Aykut Hocanin, Shanuj V. Sarin, Hakan Deliç
ATAL
2009
Springer
14 years 5 months ago
A logic of games and propositional control
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
DASC
2006
IEEE
14 years 2 months ago
Runtime Security Verification for Itinerary-Driven Mobile Agents
We present a new approach to ensure the secure execution of itinerary-driven mobile agents, in which the specification of the navigational behavior of an agent is separated from t...
Zijiang Yang, Shiyong Lu, Ping Yang
NIME
2005
Springer
113views Music» more  NIME 2005»
14 years 4 months ago
Smart Controller / Bell Garden Demo
This paper will demonstrate the use of the Smart Controller workbench in the Interactive Bell Garden. Keywords Control Voltage, Open Sound Control, Algorithmic Composition, MIDI, ...
Angelo Fraietta