4340 search results - page 745 / 868 » Formal Methods and Cryptography |
116
Voted
ERSHOV
2003
Springer
15 years 9 months ago
2003
Springer
Words in the explanatory dictionary have different meanings (senses) described using natural language definitions. If the definitions of two senses of the same word are too simi...
170
click to vote
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...
140
Voted
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...
150
click to vote
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...
122
click to vote
COMPSAC
2002
IEEE
15 years 9 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...