4418 search results - page 53 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
136
Voted
CIKM
2007
Springer
15 years 10 months ago
2007
Springer
Modern web search engines are expected to return top-k results efficiently given a query. Although many dynamic index pruning strategies have been proposed for efficient top-k com...
122
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Continuing changes in the domains of consumer devices and multimedia formats demand for a new approach to media adaptation. The publication of customized content on a device requi...
136
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
155
click to vote
DOCENG
2010
ACM
15 years 1 months ago
2010
ACM
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...
139
click to vote
ITP
2010
15 years 2 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...