230 search results - page 7 / 46 » On Formal Semantics and Analysis of Typed Modeling Languages... |
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. The basic idea behind improving the quality of a monovariant control flow analysis such as 0CFA is the concept of polyvariant analyses such as Agesen's Cartesian Pro...
IJDAR
2007
13 years 7 months ago
2007
Language usage over computer mediated discourses, like chats, emails and SMS texts, significantly differs from the standard form of the language. An urge towards shorter message l...
JUCS
2002
13 years 7 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
NN
2008
Springer
13 years 7 months ago
2008
Springer
Brain processes responsible for understanding language are approximated by spreading activation in semantic networks, providing enhanced representations that involve concepts not ...
ACSAC
1999
IEEE
14 years 8 days ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...