3830 search results - page 479 / 766 » From Reference Model to Component Model |
132
click to vote
ENTCS
2010
15 years 4 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
161
click to vote
VC
2008
15 years 3 months ago
2008
: Assembly/disassembly (A/D) simulations using haptic devices are facing difficulties while simulating insertion/extraction such as cylinders from holes. In order to address this c...
169
click to vote
NOMS
2010
IEEE
15 years 2 months ago
2010
IEEE
—Cooperation between intrusion detection systems (IDSs) allows collective information and experience from a network of IDSs to be shared to improve the accuracy of detection. A c...
117
click to vote
JLP
2011
14 years 6 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
137
click to vote
ESORICS
2012
Springer
13 years 6 months ago
2012
Springer
We initiate the study of unique group signature such that signatures of the same message by the same user will always have a large common component (i.e., unique identifier). It ...