Sciweavers

362 search results - page 37 / 73
» An access control model for simplifying constraint expressio...
Sort
View
ICRA
2005
IEEE
188views Robotics» more  ICRA 2005»
14 years 1 months ago
Kinematics Modeling of a Wheel-Based Pole Climbing Robot (UT-PCR)
- This paper is concerned with the derivation of the kinematics model of the University of Tehran-Pole Climbing Robot (UT-PCR). As the first step, an appropriate set of coordinates...
Ali Baghani, Majid Nili Ahmadabadi, Ahad Harati
ACSAC
2003
IEEE
14 years 28 days ago
Modelling Contexts in the Or-BAC Model
As computer infrastructures become more complex, security models must provide means to handle more flexible and dynamic requirements. In the Organization Based Access Control (Or...
Frédéric Cuppens, Alexandre Mi&egrav...
ICNP
2006
IEEE
14 years 1 months ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...
KBSE
1998
IEEE
13 years 11 months ago
Identifying Pre-Conditions with the Z/EVES Theorem Prover
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
Yves Ledru
TMC
2011
219views more  TMC 2011»
13 years 2 months ago
Optimal Channel Access Management with QoS Support for Cognitive Vehicular Networks
We consider the problem of optimal channel access to provide quality of service (QoS) for data transmission in cognitive vehicular networks. In such a network the vehicular nodes ...
Dusit Niyato, Ekram Hossain, Ping Wang