946 search results - page 127 / 190 » Process Algebra and Non-Interference |
109
Voted
GEOINFORMATICA
2002
15 years 15 days ago
2002
This paper deals with the representation and the processing of information about spatial objects with indeterminate location like valleys or dunes (objects subject to vagueness). ...
111
click to vote
TCS
2002
15 years 10 days ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
136
click to vote
PEPM
2011
ACM
14 years 3 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
236
Voted
ICDE
2009
IEEE
16 years 2 months ago
2009
IEEE
We have developed a system to process database queries over composed data providing web services. The queries are transformed into execution plans containing an operator that invok...
214
click to vote
ICDE
2003
IEEE
16 years 2 months ago
2003
IEEE
Expressing complex OLAP queries using group-by, aggregation, and joins can be extremely difficult. As a result of this, many alternate ways of expressing such queries have been de...