2830 search results - page 407 / 566 » No Science without Semantics |
132
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
125
Voted
DAIS
2006
15 years 5 months ago
2006
To maintain availability and responsiveness, mobile applications sharing data often work on their own copy and transmit local changes to other participants. Existing systems for re...
112
Voted
IIWAS
2004
15 years 5 months ago
2004
It is a fact that many XML query languages lack support for update operations. Those that have minimal support do not concern with preserving documents' constraints, and cons...
133
Voted
MODELLIERUNG
2004
15 years 5 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
135
Voted
SFP
2001
15 years 5 months ago
2001
: We study type checking that is complete in the sense that it accepts every program whose subexpressions can all be executed without raising a type error at runtime. In a complete...