3765 search results - page 165 / 753 » Qualitative Action Systems |
167
click to vote
PODC
1994
ACM
15 years 8 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
187
click to vote
AWPN
2008
15 years 6 months ago
2008
We introduce a Janus-faced reference net component that presents the basis for the recursive composition of complex systems from open system units. We particularly focus on the ope...
119
click to vote
AUTOMATICA
2002
15 years 4 months ago
2002
In this paper we develop results based on geometric mechanics to study the controllability of a class of controlled under-actuated left invariant mechanical systems on Lie groups....
129
click to vote
ECBS
2002
IEEE
15 years 9 months ago
2002
IEEE
Network security has now become one of the most important aspects in computer systems and the Internet. Apart from strong encryption, there is no definite method of truly securing...
132
click to vote
FUIN
2007
15 years 4 months ago
2007
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...