6794 search results - page 644 / 1359 » Semantics of Visual Languages |
167
Voted
ECOOP
2003
Springer
16 years 14 days ago
2003
Springer
Modeling four aspect-oriented programming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of...
155
click to vote
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...
181
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we present a computational view of an automatic summary generator based on a discourse model that combines semantic, rhetorical and intentional knowledge in order to...
186
click to vote
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper proposes extensions to the VHDL grammar and de nes new semantics in the language to model the timing behavior of high frequency buses and clock lines with multiple, dis...
182
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...