809 search results - page 96 / 162 » Formal Semantics for the Java Modeling Language |
131
Voted
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
221
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
113
click to vote
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
109
Voted
WWW
2006
ACM
16 years 3 months ago
2006
ACM
Addressed in this paper is the issue of semantic relationship extraction from semi-structured documents. Many research efforts have been made so far on the semantic information ex...
127
Voted
CC
2008
Springer
15 years 4 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...