4211 search results - page 118 / 843 » A formal approach to MASQ |
105
click to vote
COMPSEC
2004
15 years 19 days ago
2004
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...
DAC
2000
ACM
16 years 1 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
73
Voted
BPM
2009
Springer
15 years 7 months ago
2009
Springer
Process models are considered to be a major asset in modern business organizations. They are expected to apply to all the possible business contexts in which the process may be exe...
85
Voted
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
114
click to vote
ISSTA
2000
ACM
15 years 5 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...