Sciweavers

7366 search results - page 71 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
146
Voted
JUCS
2008
134views more  JUCS 2008»
15 years 3 months ago
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
Irène Durand, Sylviane R. Schwer
135
Voted
FPL
2006
Springer
111views Hardware» more  FPL 2006»
15 years 7 months ago
A Simulation Platform for Reconfigurable Computing Research
In this paper, we present a full-system reconfigurable computing simulation platform intended to promote innovative new research in reconfigurable computing. Currently, reconfigur...
Wenyin Fu, Katherine Compton
HICSS
2002
IEEE
73views Biometrics» more  HICSS 2002»
15 years 8 months ago
Informed Consent in the Mozilla Browser: Implementing Value Sensitive Design
This paper reports on one of the first efforts to apply Value-Sensitive Design (VSD) to a large-scale real-world software system. We sought to improve informed consent in Web-base...
Batya Friedman, Daniel C. Howe, Edward W. Felten
105
Voted
HASE
2008
IEEE
15 years 10 months ago
A Few Remarks about Formal Development of Secure Systems
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...
Éric Jaeger, Thérèse Hardin
ECIS
2001
15 years 5 months ago
Applicability of HCI research to e government applications
This paper gives an overview of the state of the art in the field of HCI (Human-Computer Interaction) and investigates the applicability of HCI research to the development of larg...
Felix Kossak, Wolfgang Eßmayr, Werner Winiwa...