488 search results - page 42 / 98 » On the Formal Generation of Process Redesigns |
124
click to vote
ICFEM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
120
click to vote
TSD
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes a clustering method for organizing in semantic classes a list of terms. The experiments were made using a POS annotated corpus, the ACL Anthology, which consis...
111
click to vote
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
148
click to vote
DEXA
1997
Springer
15 years 5 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
128
click to vote
IFL
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...