Sciweavers

366 search results - page 17 / 74
» On Defining Computer Science Terminology
Sort
View
ALS
2003
Springer
14 years 1 months ago
Not Everything We Know We Learned
This is foremost a methodological contribution. It focuses on the foundation of anticipation and the pertinent implications that anticipation has on learning (theory and experiment...
Mihai Nadin
EUROPKI
2009
Springer
13 years 6 months ago
A Computational Framework for Certificate Policy Operations
The trustworthiness of any Public Key Infrastructure (PKI) rests upon the expectations for trust, and the degree to which those expectations are met. Policies, whether implicit as ...
Gabriel A. Weaver, Scott A. Rea, Sean W. Smith
TCS
2010
13 years 3 months ago
Information measures for infinite sequences
We revisit the notion of computational depth and sophistication for infinite sequences and study the density of the sets of deep and sophisticated infinite sequences. Koppel defin...
Luis Filipe Coelho Antunes, Andre Souto
FM
2006
Springer
172views Formal Methods» more  FM 2006»
14 years 11 days ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
ISSADS
2005
Springer
14 years 2 months ago
Data Hiding in Identification and Offset IP Fields
Abstract. . Steganography is defined as the art and science of hiding information, it takes one piece of information and hides it within another. The piece more used to hide inform...
Enrique Cauich, Roberto Gómez Cárden...