3557 search results - page 419 / 712 » Reviews |
209
click to vote
RECSYS
2009
ACM
16 years 1 months ago
2009
ACM
Different buyers exhibit different purchasing behaviors. Some rush to purchase new products while others tend to be more cautious, waiting for reviews from people they trust. In...
169
click to vote
FGCN
2008
IEEE
16 years 1 months ago
2008
IEEE
The purpose of this this research is to suggest comprehensive pricing schemata that software developers can use in the integrated state of software uses. To do so, we have reviewe...
172
click to vote
QEST
2006
IEEE
16 years 23 days ago
2006
IEEE
This talk will provide an overview of work that I have done with Hana Chockler, Orna Kupferman, and Judea Pearl [1, 2, 10, 9] on defining notions such as causality, explanation, ...
178
click to vote
MSR
2006
ACM
16 years 22 days ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
161
click to vote
SIGADA
2005
Springer
16 years 7 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...