Sciweavers

3106 search results - page 261 / 622
» Both Generic Design and Different Forms of Designing
Sort
View
149
Voted
ACL
2001
15 years 8 months ago
Error Profiling: Toward a Model of English Acquisition for Deaf Learners
In this paper we discuss our approach toward establishing a model of the acquisition of English grammatical structures by users of our English language tutoring system, which has ...
Lisa N. Michaud, Kathleen F. McCoy
DAGSTUHL
2003
15 years 8 months ago
Deciding Properties of Message Sequence Charts
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...
Anca Muscholl, Doron Peled
169
Voted
ICIS
1997
15 years 8 months ago
The effects of task interruption and information presentation on individual decision making
Interrupted work environments are commonplace in today’s organizations. In addition, organizational work is increasingly performed using some form of computer support. Consequen...
Cheri Speier, Joseph S. Valacich, Iris Vessey
184
Voted
AAECC
2010
Springer
114views Algorithms» more  AAECC 2010»
15 years 6 months ago
Termination of narrowing via termination of rewriting
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...
Naoki Nishida, Germán Vidal
164
Voted
ENTCS
2006
90views more  ENTCS 2006»
15 years 6 months ago
A Framework for Engineering Interactions in Java-based Component Systems
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mi...