30 search results - page 5 / 6 » Formal Specification and Verification of JavaCard's Applicat... |
IASTEDSEA
2004
13 years 6 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
WSC
2004
13 years 6 months ago
2004
Factory physics provides a systematic description, expressed as laws, of the underlying behavior of a system. These laws can provide important assistance in performing simulation ...
CADE
2008
Springer
14 years 5 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
IJFCS
2006
13 years 5 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...