Sciweavers

9264 search results - page 1162 / 1853
» Space Between Languages
Sort
View
APN
2004
Springer
16 years 26 days ago
On the Use of Coloured Petri Nets for Object-Oriented Design
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
João Paulo Barros, Luís Gomes
CLEF
2004
Springer
16 years 26 days ago
Overview of the CLEF 2004 Multilingual Question Answering Track
Following the pilot Question Answering Track at CLEF 2003, a new evaluation exercise for multilingual QA systems took place in 2004. This paper reports on the novelties introduced...
Bernardo Magnini, Alessandro Vallin, Christelle Ay...
ECOOP
2004
Springer
16 years 26 days ago
Object Invariants in Dynamic Contexts
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
K. Rustan M. Leino, Peter Müller
ER
2004
Springer
179views Database» more  ER 2004»
16 years 26 days ago
XSLTGen: A System for Automatically Generating XML Transformations via Semantic Mappings
Abstract. XML is rapidly emerging as a dominant standard for representing and exchanging information. The ability to transform and present data in XML is crucial and XSLT is a rela...
Stella Waworuntu, James Bailey
GC
2004
Springer
16 years 25 days ago
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
Johannes Borgström, Uwe Nestmann, Luc Onana A...
« Prev « First page 1162 / 1853 Last » Next »