Sciweavers

851 search results - page 87 / 171
» Synthesis of Distributed Systems from Knowledge-Based Specif...
Sort
View
119
Voted
SEC
2004
15 years 4 months ago
Trusted Computing, Trusted Third Parties, and Verified Communications
Trusted Computing gives rise to a new supply of trusted third parties on which distributed systems can potentially rely. They are the secure system components (hardware and softwa...
Martín Abadi
117
Voted
ISMB
1997
15 years 4 months ago
Standardized Representations of the Literature: Combining Diverse Sources of Ribosomal Data
We are building a knowledge base (KB) of published structural data on the 30s ribosomal subunit in prokaryotes. Our KB is distinguished by a standardized representation of biologi...
Russ B. Altman, Neil F. Abernethy, Richard O. Chen
117
Voted
ELPUB
2006
ACM
15 years 8 months ago
An Architecture of Authoring Environments for the Semantic Web
Among the new possibilities that the Semantic Web has enabled, the authoring task is considered as a key moment for semantic representation of knowledge to enhance publishing need...
Edgard Costa Oliveira, Mamede Lima-Marques
GECCO
2006
Springer
180views Optimization» more  GECCO 2006»
15 years 6 months ago
Growth of self-canceling code in evolutionary systems
This research examines the behavior of inoperative code (introns) in the evolution of genetically robust solutions. Genetically robust solutions are solutions that are less likely...
Xue Zhong, Terence Soule
111
Voted
CCR
2010
120views more  CCR 2010»
15 years 2 months ago
Pitfalls for testbed evaluations of internet systems
Today's open platforms for network measurement and distributed system research, which we collectively refer to as testbeds in this article, provide opportunities for controll...
David R. Choffnes, Fabian E. Bustamante