3515 search results - page 332 / 703 » On the semantics of Strategy Logic |
195
click to vote
IJCAI
1989
15 years 9 months ago
1989
Usually, semantics of inheritance networks is specified indirectly through a translation into one of the standard logical formalisms. Since such translation involves an algorithmi...
266
click to vote
ECOWS
2008
Springer
15 years 9 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
240
click to vote
CLOUDCOM
2010
Springer
15 years 5 months ago
2010
Springer
Cloud computing has become one of the key considerations both in academia and industry. Cheap, seemingly unlimited computing resources that can be allocated almost instantaneously...
218
click to vote
FLAIRS
2007
15 years 10 months ago
2007
XGR (XML Data Grid) and BabelPeers are both data management systems based on distributed hash tables (DHT) that use the Pastry DHT to store data and meta data. XGR is based on the...
171
click to vote
DLOG
2006
15 years 9 months ago
2006
In our case study we investigate a server for answering OWLQL queries with distinguished variables only (henceforth called OWLQL). This server acts as a proxy that delegates queri...