809 search results - page 87 / 162 » Formal Semantics for the Java Modeling Language |
116
Voted
ISORC
2009
IEEE
15 years 9 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
114
Voted
SEKE
2004
Springer
15 years 8 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
122
click to vote
FORTE
2004
15 years 4 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
139
Voted
AI
2008
Springer
15 years 1 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
146
Voted
APLAS
2011
ACM
14 years 2 months ago
2011
ACM
Modern multi-core microprocessors implement weak memory consistency models; programming for these architectures is a challenge. This paper solves a problem open for ten years, and ...