5451 search results - page 38 / 1091 » Typed Operational Semantics |
102
click to vote
ENTCS
2006
15 years 2 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
134
click to vote
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
106
click to vote
ICDM
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a demo of ESTER, a search engine that combines the ease of use, speed and scalability of full-text search with the powerful semantic capabilities of ontologies. ESTER s...
164
click to vote
SDB
1995
15 years 5 months ago
1995
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...
115
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...