2296 search results - page 179 / 460 » The Expressive Power of Synchronizations |
154
click to vote
DBPL
2007
Springer
16 years 22 days ago
2007
Springer
Annotated relational databases can be queried either by simply making the annotations explicitly available along the ordinary data, or by adapting the standard query operators so ...
193
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
197
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
167
click to vote
PODC
2009
ACM
16 years 7 months ago
2009
ACM
d Abstract] Marcos K. Aguilera Microsoft Research Silicon Valley Mountain View, CA, USA Carole Delporte-Gallet Universit? Paris 7 Paris, France Hugues Fauconnier Universit? Paris ...
171
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this experience report, we present an evaluation of different techniques to manage concurrency in the context of application servers. Traditionally, using entity beans...