Sciweavers

520 search results - page 24 / 104
» Contributing to eclipse: A case study
Sort
View
GFKL
2004
Springer
82views Data Mining» more  GFKL 2004»
14 years 24 days ago
Quantitative Text Typology: The Impact of Word Length
The present study aims at the quantitative classification of texts and text types. By way of a case study, 398 Slovenian texts from different genres and authors are analyzed as t...
Peter Grzybek, Ernst Stadlober, Emmerich Kelih, Go...
CAV
2005
Springer
173views Hardware» more  CAV 2005»
14 years 29 days ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
CAISE
2006
Springer
13 years 11 months ago
The Incremental Goal Evolution Process Methodology
Abstract. This paper proposes the incremental goal evolution process methodology from the view point of the approach to business process optimization. This paper first presents a p...
Shinobu Saito, Shuichiro Yamamoto
INFSOF
2011
176views more  INFSOF 2011»
13 years 2 months ago
Testing in Service Oriented Architectures with dynamic binding: A mapping study
Context: Service Oriented Architectures (SOA) have emerged as a new paradigm to develop interoperable and highly dynamic applications. Objective: This paper aims to identify the s...
Marcos Palacios, José García-Fanjul,...
SOUPS
2005
ACM
14 years 29 days ago
Stopping spyware at the gate: a user study of privacy, notice and spyware
Spyware is a significant problem for most computer users. The term “spyware” loosely describes a new class of computer software. This type of software may track user activitie...
Nathaniel Good, Rachna Dhamija, Jens Grossklags, D...