17920 search results - page 438 / 3584 » Recentering computer science |
191
click to vote
ACMSE
2004
ACM
16 years 9 days ago
2004
ACM
Notification interfaces that continuously present peripheral information have received increasing interest within the HCI community, especially those supporting awareness of other...
186
Voted
ACMSE
2004
ACM
16 years 9 days ago
2004
ACM
Recent years have witnessed an explosion in the availability of news articles on the World Wide Web. Although searchengines’ algorithms have made it easier to locate these docum...
160
Voted
GG
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Graph constraints and application conditions are most important for graph grammars and transformation systems in a large variety of application areas. Although different...
193
Voted
GG
2004
Springer
16 years 7 days ago
2004
Springer
Refactorings are transformations that change the structure of a program, while preserving the behavior. The topic has attracted a lot of attention recently, since it is a promising...
171
click to vote
GG
2004
Springer
16 years 7 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...