1397 search results - page 105 / 280 » On the Need for Practical Formal Methods |
147
click to vote
ICWE
2005
Springer
15 years 10 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
163
click to vote
TCC
2005
Springer
15 years 10 months ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
165
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
215
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
152
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...