Sciweavers

4670 search results - page 144 / 934
» Toward meaningful computing
Sort
View
CHI
2002
ACM
14 years 10 months ago
Towards time design: pacing of hypertext navigation by system response times
Two experiments investigated the effects of system response time (SRT) on hypertext navigation. Dependent variables were residence time, emotional strain and memory performance. A...
Herbert A. Meyer, Michael Hildebrandt
IPPS
2003
IEEE
14 years 3 months ago
Towards a Theory of Bisimulation for a Fragment of Verilog
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
Li Yongjian, Jifeng He
SYNASC
2005
IEEE
84views Algorithms» more  SYNASC 2005»
14 years 3 months ago
Membrane Computing as a Framework for Modeling Economic Processes
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
Gheorghe Paun, Radu A. Paun
SIGUCCS
2000
ACM
14 years 1 months ago
Computer Abuse, Information Technologies and Judicial Affairs
Crime on the Internet has become a formidable challenge for university information technology and student judicial systems. The nature of university computing requires a relativel...
Elizabeth Mackenzie, Kathryn Goldman
SIGCSE
2004
ACM
84views Education» more  SIGCSE 2004»
14 years 3 months ago
Core empirical concepts and skills for computer science
Educators are increasingly acknowledging that practical problems in computer science demand basic competencies in experimentation and data analysis. However, little effort has bee...
Grant Braught, Craig S. Miller, David W. Reed