576 search results - page 75 / 116 » XML-RL Update Language |
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
101
click to vote
EDBTW
2004
Springer
15 years 5 months ago
2004
Springer
—Over the past few years, XML (eXtensible Mark-up Language) has emerged as the standard for information representation and data exchange over the Internet. This paper provides a ...
FASE
2004
Springer
15 years 5 months ago
2004
Springer
The Java dialect Java Card for programming smartcards contains some features which do not exist in Java. Java Card distinguishes persistent and transient data (data stored in EEPRO...
110
click to vote
NLDB
2004
Springer
15 years 5 months ago
2004
Springer
Many queries processed on the World Wide Web do not return the desired results because they fail to take into account the context of the query and information about user’s situat...
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
We consider the issues of implicitness and cache-obliviousness in the classical dictionary problem for n distinct keys over an unbounded and ordered universe. One finding in this ...