5599 search results - page 798 / 1120 » Abstract State Services |
212
Voted
UML
2005
Springer
16 years 1 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
198
click to vote
VMCAI
2005
Springer
16 years 1 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
211
click to vote
FMCAD
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
216
click to vote
MFCS
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
181
click to vote
EUROCRYPT
2010
Springer
16 years 11 days ago
2010
Springer
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...