Sciweavers

4762 search results - page 226 / 953
» About the use of protein models
Sort
View
WSC
2001
15 years 8 months ago
Seamless integration of layout and simulation
This document talks about the usage of Simulation Data Exchange (SDX) (Moorthy 1999) in order to enable a consistent digital model of automotive factories. The scope of the digita...
Karsten Mecklenburg
IFIP
2009
Springer
16 years 1 months ago
Specifying and Modelling Secure Channels in Strand Spaces
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
Allaa Kamil, Gavin Lowe
PERCOM
2005
ACM
16 years 3 days ago
RDF-Based Model for Context-Aware Reasoning in Rich Service Environment
We present a framework for utilizing context-awareness for classifying services. We also present a novel RDFbased model for context-aware reasoning in pervasive computing environm...
Jari Forstadius, Ora Lassila, Tapio Seppänen
IPPS
2002
IEEE
15 years 11 months ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders
RECOMB
2007
Springer
16 years 6 months ago
Minimizing and Learning Energy Functions for Side-Chain Prediction
Abstract. Side-chain prediction is an important subproblem of the general protein folding problem. Despite much progress in side-chain prediction, performance is far from satisfact...
Chen Yanover, Ora Schueler-Furman, Yair Weiss