857 search results - page 135 / 172 » Compositional Semantics in Verbmobil |
176
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
135
click to vote
PAPM
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
192
Voted
CCS
1998
ACM
15 years 10 months ago
1998
ACM
This paper describes a new public-key cryptosystem based on the hardness of computing higher residues modulo a composite RSA integer. We introduce two versions of our scheme, one d...
166
click to vote
ISORC
2000
IEEE
15 years 9 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
142
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
The first part of the paper develops a novel, sortally-based approach to the problem of aspectual composition. The account is argued to be superior on both empirical and computati...