10447 search results - page 417 / 2090 » The Philosophy of Computer Science |
162
Voted
DANCE
2002
IEEE
15 years 12 months ago
2002
IEEE
We present the architecture, design, and implementation of a Smart Environment for Network Control, Monitoring and Management (SENCOMM). SENCOMM uses active network technology to ...
145
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
We present ideas on how to structure software systems for high availability by considering MTTR/MTTF characteristics of components in addition to the traditional criteria, such as...
164
Voted
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
163
Voted
CHINZ
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we describe the design philosophy, implementation and evaluation of InkKit, an informal design platform that uses pen input on a tablet PC to imitate the informalit...
167
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
The probability distribution P from which the history of our universe is sampled represents a theory of everything or TOE. We assume P is formally describable. Since most (uncount...