769 search results - page 83 / 154 » Simple Composition of Nets |
ICRA
2009
IEEE
13 years 5 months ago
2009
IEEE
For haptic devices, compensation of the robot's gravity is a frequent strategy with the aim to reduce interaction forces between robot and human in zero-impedance control. How...
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
LCTRTS
2005
Springer
14 years 1 months ago
2005
Springer
— We present design patterns used by software components in the TinyOS operating system. They differ significantly from traditional software design patterns due to TinyOS’s fo...
CSFW
1999
IEEE
14 years 1 days ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
ICGI
1998
Springer
13 years 12 months ago
1998
Springer
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...