2169 search results - page 10 / 434 » Mobile Processing in Open Systems |
HT
2005
ACM
14 years 1 months ago
2005
ACM
Hyperlinks are an essential feature of the World Wide Web, highly responsible for its success. XLink improves on HTML’s linking capabilities in several ways. In particular, link...
DAGSTUHL
2006
13 years 9 months ago
2006
We introduce different mobile network applications and show to which degree the concept of database transactions is required within the applications. We show properties of transact...
CSL
2002
Springer
13 years 7 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
COMPSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
To support commercial-strength web development it is as important to utilize a process as it is in regular, non-web information systems development. Using an established OO/CBD de...
BMCBI
2008
13 years 7 months ago
2008
Background: Information extraction (IE) efforts are widely acknowledged to be important in harnessing the rapid advance of biomedical knowledge, particularly in areas where import...