682 search results - page 74 / 137 » Philosophical Issues in Computer Science |
144
Voted
CSCW
1994
ACM
15 years 6 months ago
1994
ACM
The need to merge different versions of an object toa common state arises in collaborative computing due to several reasons including optimistic concurrency control, asynchronous ...
145
Voted
CANDT
2009
15 years 6 months ago
2009
The under-representation of women in computer and information science (CIS) has created a crisis in availability of qualified CIS professionals and diversity of perspectives. Many...
120
Voted
RTA
2010
Springer
15 years 6 months ago
2010
Springer
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...
114
Voted
GI
2007
Springer
15 years 6 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
84
Voted
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
Knowledge discovery allows considerable insight into data. This brings with it the inherent risk that what is inferred may be private or ethically sensitive. The process of genera...