598 search results - page 14 / 120 » Generic Trace Theory |
195
click to vote
TACAS
2010
Springer
16 years 19 days ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
155
click to vote
AISC
1994
Springer
15 years 9 months ago
1994
Springer
This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...
130
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
146
click to vote
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
201
click to vote
ISPEC
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Broadcast encryption provides a convenient method to distribute digital content to subscribers over an insecure broadcast channel. Traitor tracing is needed because some ...