4418 search results - page 213 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
151
click to vote
HPDC
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper we present a uni ed approach for delivering hypermedia/multimedia objects over broadband networks. Documents are stored in various multimedia servers, while the inli...
163
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
191
click to vote
IJCAI
2003
15 years 7 months ago
2003
With the growing use of distributed information networks, there is an increasing need for algorithmic and system solutions for data-driven knowledge acquisition using distributed,...
178
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Web search engines are facing formidable performance challenges as they need to process thousands of queries per second over billions of documents. To deal with this heavy workloa...
181
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...