2159 search results - page 69 / 432 » C-K design theory for information systems research |
125
click to vote
MKM
2009
Springer
15 years 8 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Governments are increasingly using collaborative, cross-boundary strategies to face complex social problems. Many of these cross-boundary initiatives have at their core the use, a...
145
click to vote
HCI
2009
14 years 11 months ago
2009
Abstract. In this paper we present a newly designed annotation and collaboration component, which has been prototypically implemented on top of an ERP (Enterprise Resource Planning...
109
click to vote
CANDC
2009
ACM
15 years 8 months ago
2009
ACM
Whenever we feel those ‘higher’ and hard to define sensations like synchronicity, love, wholeness, and appreciation is this a pattern or illuminative system that is part of a ...
101
click to vote
IJCINI
2007
15 years 1 months ago
2007
The purpose of this paper is to re-address the vision of human-computer symbiosis as originally expressed by J.C.R. Licklider nearly a half-century ago and to argue for the releva...