809 search results - page 105 / 162 » Formal Semantics for the Java Modeling Language |
110
click to vote
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
109
click to vote
CCS
2001
ACM
15 years 7 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
155
click to vote
FPCA
1995
15 years 6 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
121
Voted
ICOST
2007
Springer
15 years 8 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
91
Voted
ENTCS
2008
15 years 2 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...