Sciweavers

2336 search results - page 315 / 468
» A Proposed Methodology for Web Development
Sort
View
134
Voted
SIGIR
2005
ACM
15 years 9 months ago
Server selection methods in hybrid portal search
The TREC .GOV collection makes a valuable web testbed for distributed information retrieval methods because it is naturally partitioned and includes 725 web-oriented queries with ...
David Hawking, Paul Thomas
139
Voted
EON
2008
15 years 4 months ago
Synthesizing the Mediator with jABC/ABC
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 (...
Tiziana Margaria
106
Voted
INFORMATICASI
2007
110views more  INFORMATICASI 2007»
15 years 3 months ago
Modeling e-Government processes with UMM
The United Nation’s Center for Trade Facilitation and Electronic Business (UN/CEFACT)) is a standardization body known for its work on UN/EDIFACT and ebXML. One of its most rece...
Philipp Liegl, Rainer Schuster, Marco Zapletal, Ch...
SIGSOFT
2010
ACM
15 years 1 months ago
Representation dependence testing using program inversion
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ga...
156
Voted
SIGCOMM
2012
ACM
13 years 5 months ago
Measuring and fingerprinting click-spam in ad networks
Advertising plays a vital role in supporting free websites and smartphone apps. Click-spam, i.e., fraudulent or invalid clicks on online ads where the user has no actual interest ...
Vacha Dave, Saikat Guha, Yin Zhang