Sciweavers

6054 search results - page 221 / 1211
» Implementation of Andorra-based Languages
Sort
View
POS
1998
Springer
15 years 10 months ago
Straightforward Java Persistence Through Checkpointing
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...
Jon Howell
ISOLA
2010
Springer
15 years 4 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
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...
Reiner Hähnle
SKG
2006
IEEE
16 years 18 days ago
Caribbean/Q: A Massively Multi-Agent Platform with Scenario Description Language
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 ...
Yuu Nakajima, Hironori Shiina, Shohei Yamane, Hiro...
WEBDB
2005
Springer
97views Database» more  WEBDB 2005»
16 years 2 days ago
Towards a Query Language for Multihierarchical XML: Revisiting XPath
In recent years it has been argued that when XML encodings become complex, DOM trees are no longer adequate for query processing. Alternative representations of XML documents, suc...
Ionut Emil Iacob, Alex Dekhtyar
COORDINATION
2004
Springer
16 years 7 hour ago
O'Klaim: A Coordination Language with Mobile Mixins
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
Lorenzo Bettini, Viviana Bono, Betti Venneri