1791 search results - page 317 / 359 » Semantics and Complexity of SPARQL |
138
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
165
Voted
SMA
1993
ACM
15 years 8 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
130
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of...
180
click to vote
ERCIMDL
2006
Springer
15 years 7 months ago
2006
Springer
The move towards integrated international Digital Libraries offers the opportunity of creating comprehensive data on citation networks. These data are not only invaluable pointers ...
166
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...