31 search results - page 3 / 7 » Towards Automatic Specialization of Java Programs |
MODELS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
CASSIS
2004
Springer
13 years 9 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
ECMDAFA
2008
Springer
13 years 7 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
KI
1995
Springer
13 years 9 months ago
1995
Springer
The integration of vision and natural languageprocessingincreasingly attracts attention in different areas of AI research. Up to now, however, there have only been a few attempts a...
SIGSOFT
2008
ACM
14 years 6 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...