Sciweavers

3886 search results - page 208 / 778
» Toward Recovery-Oriented Computing
Sort
View
RELMICS
2009
Springer
14 years 1 months ago
Towards Algebraic Separation Logic
Han-Hing Dang, Peter Höfner, Bernhard Mö...
CHI
2002
ACM
14 years 9 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 2 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 2 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
SIGCSE
2004
ACM
84views Education» more  SIGCSE 2004»
14 years 2 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