805 search results - page 113 / 161 » Concept-Driven Engineering for Supporting Different Views of... |
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
131
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
According to a recent survey made by Nielsen NetRatings, searching on news articles is one of the most important activity online. Indeed, Google, Yahoo, MSN and many others have p...
119
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
In this work we discuss author identification for documents written in Portuguese. Two different approaches were compared. The first is the writer-independent model which reduces ...
121
click to vote
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
Software metrics as a subject area is over 30 years old, but it has barely penetrated into mainstream software engineering. A key reason for this is that most software metrics act...
118
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...