Sciweavers

4172 search results - page 316 / 835
» Computing Machinery and Understanding
Sort
View
PASTE
2004
ACM
16 years 4 days ago
Validation of assembler programs for DSPs: a static analyzer
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
Matthieu Martel
PDC
2004
ACM
16 years 4 days ago
Artful infrastructuring in two cases of community PD
In this paper, we use the notions of artful integrations and infrastructure to analyze two cases of community Participatory Design ‘in the wild’. Though the communities are qu...
Helena Karasti, Anna-Liisa Syrjänen
BIRTHDAY
2004
Springer
16 years 3 days ago
Engineers Don't Search
Abstract. This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis ...
Benno Stein
CAISE
2004
Springer
16 years 3 days ago
Modeling and Realizing Interoperability
Interoperability between enterprise applications requires an understanding of the obstacles to interoperability in order to provide methods for overcoming these obstacles. We addre...
Manfred A. Jeusfeld, Willem-Jan van den Heuvel, Je...
165
Voted
CSCWD
2004
Springer
16 years 3 days ago
Groupware System Design and the Context Concept
The concept of context can be advantageously applied to the Computer-Supported Cooperative Work field. The term awareness has traditionally been used in this area without explicit ...
Marcos R. S. Borges, Patrick Brézillon, Jos...