2470 search results - page 128 / 494 » Liveness-Preserving Simulation Relations |
113
Voted
ICMLA
2007
15 years 2 months ago
2007
— This paper addresses the problem of understanding preservation and reconstruction requirements for computeraided medical decision-making. With an increasing number of computer-...
127
Voted
BMCBI
2006
15 years 23 days ago
2006
Background: There have been many algorithms and software programs implemented for the inference of multiple sequence alignments of protein and DNA sequences. The "true" ...
96
Voted
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
104
click to vote
SIMUTOOLS
2008
15 years 2 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
109
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
This paper explores the idea that the universe is a virtual reality created by information processing, and relates this strange idea to the findings of modern physics about the ph...