1823 search results - page 332 / 365 » Formal specification: a roadmap |
JCIT
2007
13 years 7 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
WWW
2008
ACM
13 years 7 months ago
2008
ACM
A geographic search request contains a query consisting of one or more keywords, and a search-location that the user searches for. In this paper, we study the problem of discoveri...
PVLDB
2008
13 years 7 months ago
2008
Where can I attend an interesting database workshop close to a sunny beach? Who are the strongest experts on service computing based upon their recent publication record and accep...
ICDE
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper, we propose the Hybrid-Layer Index (simply, the HL-index) that is designed to answer top-k queries efficiently when the queries are expressed on any arbitrary subset ...
OPODIS
2010
13 years 5 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...