4036 search results - page 50 / 808 » Formal Methods |
134
Voted
ASWEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
108
click to vote
FOSAD
2005
Springer
15 years 8 months ago
2005
Springer
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
102
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
139
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
114
Voted
DFG
2004
Springer
15 years 8 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...