641 search results - page 109 / 129 » Applications of a Logical Discovery Engine |
144
click to vote
IEEESCC
2006
IEEE
16 years 22 hour ago
2006
IEEE
Today’s business processes are not static, they need to be adapted frequently to reflect changing business requirements. Several business process languages such as WS-BPEL have...
152
click to vote
NETGAMES
2006
ACM
15 years 12 months ago
2006
ACM
Consistency maintenance of replicated data in multiplayer games is a challenging issue due to the performance constraints of real-time interactive applications. We present an appr...
148
click to vote
PPOPP
2006
ACM
15 years 12 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
157
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
144
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...