Sciweavers

23 search results - page 3 / 5
» Protocol for a systematic literature review of research on t...
Sort
View
FMICS
2008
Springer
13 years 8 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
14 years 1 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»
14 years 1 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
14 years 1 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
14 years 1 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...