1326 search results - page 94 / 266 » Semantic Coherence in Software Engineering |
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
SEMWEB
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Swoogle helps software agents and knowledge engineers find Semantic Web knowledge encoded in RDF and OWL documents on the Web. Navigating such a Semantic Web on the Web ...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
We provide a concise yet complete formal definition of the semantics of XPath 1 and summarize efficient algorithms for processing queries in this language. Our presentation is int...
TMRA
2005
Springer
14 years 2 months ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...