5255 search results - page 931 / 1051 » Formal Methods for Privacy |
161
Voted
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
134
click to vote
IFL
2003
Springer
15 years 9 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
142
Voted
IFL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
117
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of trans...
124
click to vote
EDOC
2002
IEEE
15 years 8 months ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...