2514 search results - page 17 / 503 » The use of industrial-strength formal methods |
125
Voted
ASWEC
2005
IEEE
15 years 7 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...
104
click to vote
FOSAD
2005
Springer
15 years 7 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 ...
95
Voted
AMAST
2004
Springer
15 years 7 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...
122
Voted
ICIW
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
135
Voted
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...