Sciweavers

17920 search results - page 389 / 3584
» Recentering computer science
Sort
View
ITICSE
2000
ACM
15 years 11 months ago
Enter the usability engineer: integrating HCI and software engineering
This paper examines the role of Human Computer Interaction in the context of the Computer Science and Software Engineering curricula. We suggest there needs to be much more integr...
Xristine Faulkner, Fintan Culwin
ACMSE
2000
ACM
15 years 11 months ago
Exploring an information-based approach to computation and computational complexity
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
D. E. Stevenson
168
Voted
FOCS
1997
IEEE
15 years 11 months ago
Computable Obstructions to Wait-free Computability
Abstract. We show how to associate e ectively computableobstructions to a waitfree distributed decision task (I;O; ) in the asynchronous shared-memory, readwrite model. The key new...
John Havlicek
LICS
2007
IEEE
16 years 1 months ago
Alternation-free modal mu-calculus for data trees
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
Marcin Jurdzinski, Ranko Lazic
CSCW
2006
ACM
15 years 6 months ago
Walking the Tightrope: The Balancing Acts of a Large e-Research Project
Although e-Research has received much attention and acclaim in recent years, the realities of distributed collaboration still challenge even the most well-planned endeavors. This c...
Katherine A. Lawrence