Sciweavers

3557 search results - page 441 / 712
» Reviews
Sort
View
197
Voted
ICSE
2007
IEEE-ACM
16 years 6 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
ICSE
2007
IEEE-ACM
16 years 6 months ago
Empirical Methods in Software Engineering Research
The popularity of empirical methods in software engineering research is on the rise. Surveys, experiments, metrics, case studies, and field studies are examples of empirical method...
Walter F. Tichy, Frank Padberg
MOBIHOC
2002
ACM
16 years 6 months ago
Performance evaluation of a fair backoff algorithm for IEEE 802.11 DFWMAC
Due to hidden terminals and a dynamic topology, contention among stations in an ad-hoc network is not homogeneous. Some stations are at a disadvantage in opportunity of access to ...
Zuyuan Fang, Brahim Bensaou, Yu Wang
DCC
2006
IEEE
16 years 6 months ago
Tradeoffs in XML Database Compression
Large XML data files, or XML databases, are now a common way to distribute scientific and bibliographic data, and storing such data efficiently is an important concern. A number o...
James Cheney
WSDM
2010
ACM
197views Data Mining» more  WSDM 2010»
16 years 4 months ago
Adapting Information Bottleneck Method for Automatic Construction of Domain-oriented Sentiment Lexicon
Domain-oriented sentiment lexicons are widely used for finegrained sentiment analysis on reviews; therefore, the automatic construction of domain-oriented sentiment lexicon is a f...
Songbo Tan, Weifu Du, Xiaochun Yun, Xueqi Cheng