6201 search results - page 253 / 1241 » Implementation of Axiomatic Language |
168
click to vote
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
183
click to vote
CONCUR
2009
Springer
16 years 2 days ago
2009
Springer
Abstract. We examine the role of transactional memory from two perspectives: that of a programming language with atomic actions and that of implementations of the language. We argu...
145
click to vote
POS
1998
Springer
15 years 9 months ago
1998
Springer
Several techniques have been proposed for adding persistence to the Java language environment. This paper describes a system we call icee that works by checkpointing the Java Virt...
175
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
152
click to vote
SKG
2006
IEEE
15 years 11 months ago
2006
IEEE
Making a truly useful massively multi-agent system is difficult since the actions of the full ensemble of agents cannot be controlled by designing just one agent. It is critical ...