Sciweavers

23 search results - page 3 / 5
» Protocol for a systematic literature review of research on t...
Sort
View
FMICS
2008
Springer
13 years 6 months ago
Fighting State Space Explosion: Review and Evaluation
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
Radek Pelánek
NORDICHI
2006
ACM
13 years 11 months ago
The expanding focus of HCI: case culture
The focus of the research in human-computer interaction (HCI) continues to expand. One example of this is the growing interest in national and ethnic culture as a research topic. ...
Minna Kamppuri, Roman Bednarik, Markku Tukiainen
DEXAW
2006
IEEE
126views Database» more  DEXAW 2006»
13 years 12 months ago
Consistent Query Answering: Opportunities and Limitations
This paper briefly reviews the recent literature on consistent query answering, an approach to handle database inconsistency in a systematic and logical manner based on the notio...
Jan Chomicki
EXPDB
2006
ACM
13 years 11 months ago
A Reproducible Benchmark for P2P Retrieval
With the growing popularity of information retrieval (IR) in distributed systems and in particular P2P Web search, a huge number of protocols and prototypes have been introduced i...
Thomas Neumann, Matthias Bender, Sebastian Michel,...
SIGCOMM
2006
ACM
13 years 11 months ago
Systematic topology analysis and generation using degree correlations
Researchers have proposed a variety of metrics to measure important graph properties, for instance, in social, biological, and computer networks. Values for a particular graph met...
Priya Mahadevan, Dmitri V. Krioukov, Kevin R. Fall...