682 search results - page 74 / 137 » Philosophical Issues in Computer Science |
CSCW
1994
ACM
14 years 26 days 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 ...
CANDT
2009
14 years 20 days 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...
RTA
2010
Springer
14 years 20 days 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...
GI
2007
Springer
14 years 20 days 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...
ACSC
2004
IEEE
14 years 16 days 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...