Sciweavers

1842 search results - page 272 / 369
» Measurable systems and behavioral sciences
Sort
View
USS
2008
15 years 8 days ago
Highly Predictive Blacklisting
The notion of blacklisting communication sources has been a well-established defensive measure since the origins of the Internet community. In particular, the practice of compilin...
Jian Zhang, Phillip A. Porras, Johannes Ullrich
OSDI
2002
ACM
15 years 10 months ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...
ENTCS
2002
84views more  ENTCS 2002»
14 years 9 months ago
Programming Autonomous Robots in Curry
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
Michael Hanus, Klaus Höppner
IQ
2007
14 years 11 months ago
In Search Of An Accuracy Metric
Practitioners and researchers often refer to error rates or accuracy percentages of databases. The former is the number of cells in error divided by the total number of cells; the...
Craig W. Fisher, Eitel J. M. Lauría, Caroly...
CHI
2009
ACM
15 years 4 months ago
Disembodied performance
ion of Representation in Live Theater PPPPETERETERETERETER TTTTORPEYORPEYORPEYORPEY Opera of the Future, MIT Media Lab Disembodied Performance presents a new way to think about exp...
Peter Alexander Torpey, Elena Naomi Jessop