1255 search results - page 155 / 251 » Relationships Among PL, |
AP2PC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Data integration, in the context of the web, faces new problems, due in particular to the heterogeneity of sources, to the fragmentation of the information and to the abs...
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
ERCIMDL
2004
Springer
14 years 1 months ago
2004
Springer
The Digital Library (DL) field is one of the most promising areas of application for information visualization technology. In this paper, we propose a visual user interface tool ki...
EUC
2004
Springer
14 years 1 months ago
2004
Springer
As the vision of ubiquitous computing becomes reality smart devices are embedded into our surroundings and domestic appliances providing services transparently. The nature of such ...
FSTTCS
2004
Springer
14 years 1 months ago
2004
Springer
We consider hypotheses about nondeterministic computation that have been studied in different contexts and shown to have interesting consequences: • The measure hypothesis: NP d...