3468 search results - page 545 / 694 » An open logical framework |
111
Voted
WWW
2001
ACM
16 years 1 months ago
2001
ACM
iMobile is a platform that addresses the research issues in building mobile services. iMobile acts as a message gateway that allows mobile devices using various protocols on diffe...
110
Voted
EON
2008
15 years 2 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
107
click to vote
DAGSTUHL
1996
15 years 2 months ago
1996
Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...
120
Voted
BMCBI
2004
15 years 20 days ago
2004
Background: Recent technological advances in high-throughput data collection allow for experimental study of increasingly complex systems on the scale of the whole cellular genome...
116
click to vote
DKE
2002
15 years 18 days ago
2002
Recently, there is an interest in using associations between web pages in providing users with pages relevant to what they are currently viewing. We believe that, to enable intell...