4340 search results - page 604 / 868 » Formal Methods and Cryptography |
174
click to vote
IFL
2005
Springer
16 years 2 days ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
146
click to vote
IFL
2005
Springer
16 years 2 days ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
161
click to vote
IFM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
176
click to vote
LPAR
2005
Springer
16 years 2 days ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
156
click to vote
ICWE
2005
Springer
16 years 11 hour ago
2005
Springer
This paper investigates one of the existing methods for measuring usability – Logic Scoring Preference (LSP), and discusses the results of two formal experiments carried out to a...