5255 search results - page 786 / 1051 » Formal Methods for Privacy |
178
click to vote
LPAR
2005
Springer
16 years 3 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...
158
click to vote
ICWE
2005
Springer
16 years 1 days 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...
183
click to vote
PASTE
2004
ACM
16 years 1 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
167
click to vote
ATAL
2004
Springer
16 years 16 hour ago
2004
Springer
The paper describes the architecture of Brown University’s agent, Botticelli, a finalist in the 2003 Trading Agent Competition in Supply Chain Management (TAC SCM). In TAC SCM,...
181
click to vote
CAV
2004
Springer
16 years 14 hour ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...