1536 search results - page 39 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
We address the learning of trust based on past observations and context information. We argue that from the truster's point of view trust is best expressed as one of several ...
BMCBI
2007
13 years 8 months ago
2007
Background: The four heterogeneous childhood cancers, neuroblastoma, non-Hodgkin lymphoma, rhabdomyosarcoma, and Ewing sarcoma present a similar histology of small round blue cell...
ESORICS
1994
Springer
14 years 25 days ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
Software systems evolve over time due to changes in requirements, optimization of code, fixes for security and reliability bugs etc. Code churn, which measures the changes made to...
BMCBI
2008
2008
Relating gene expression data on two-component systems to functional annotations in Escherichia coli
13 years 8 months ago
Background: Obtaining physiological insights from microarray experiments requires computational techniques that relate gene expression data to functional information. Traditionall...