2272 search results - page 334 / 455 » Validity Invariants and Effects |
142
Voted
C3S2E
2008
ACM
15 years 6 months ago
2008
ACM
In the last decade, a great many code clone detection tools have been proposed. Such a large number of tools calls for a quantitative comparison, and there have been several attem...
117
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
163
click to vote
ADMA
2005
Springer
15 years 6 months ago
2005
Springer
Web transaction data between web visitors and web functionalities usually convey users’ task-oriented behavior patterns. Clustering web transactions, thus, may capture such infor...
171
Voted
ESEM
2008
ACM
15 years 5 months ago
2008
ACM
Effort distribution by phase or activity is an important but often overlooked aspect compared to other steps in the cost estimation process. Poor effort allocation is among the ma...
176
click to vote
ARCSF
2008
15 years 5 months ago
2008
Abstract-- Affective information is vital for effective human-tohuman communication. Likewise, human-to-computer communication could be potentiated by an "affective barometer&...