144 search results - page 11 / 29 » How Expressions Can Code for Automata |
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
E-mails concerning the development issues of a system constitute an important source of information about high-level design decisions, low-level implementation concerns, and the s...
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
125
Voted
ICC
2007
IEEE
15 years 2 months ago
2007
IEEE
— In this paper, we consider the time-slotted ALOHA packetized multiple-access system where the transmission channels obey i.i.d (independent identically distributed) Rayleigh fa...
104
click to vote
ICSE
2008
IEEE-ACM
16 years 14 days ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
120
Voted
APLAS
2011
ACM
14 years 11 days ago
2011
ACM
Abstract. Decentralization is a major challenge for secure computing. In a decentralized setting, principals are free to distrust each other. The key challenge is to provide suppor...