4066 search results - page 587 / 814 » Almost Complete Sets |
193
click to vote
CSL
2004
Springer
16 years 18 days ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
214
click to vote
EMSOFT
2004
Springer
16 years 17 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
165
click to vote
ER
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Deploying process-driven information systems is a time-consuming and error-prone task. Process mining attempts to improve this by automatically generating a process model...
201
click to vote
EUROPKI
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. In many cryptographic applications it is necessary to generate elliptic curves (ECs) with certain security properties. These curves are commonly constructed using the Com...
175
click to vote
GC
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...