1036 search results - page 116 / 208 » Design methods as discourse on practice |
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In its recently published TCG Mobile Reference Architecture, the TCG Mobile Phone Work Group specifies a new concept to enable trust into future mobile devices. For this purpo...
SEFM
2007
IEEE
14 years 2 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
ICFEM
2007
Springer
14 years 1 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
- Time optimal control method for quadruped walking robots are developed and installed into a practical robot system. Each leg is modeled as a two link manipulator whose time optim...
MEMOCODE
2006
IEEE
14 years 1 months ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...