4762 search results - page 632 / 953 » About the use of protein models |
MONTEREY
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
116
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
111
click to vote
ISCIS
2005
Springer
15 years 7 months ago
2005
Springer
A P2P network that is overlayed over Internet can consist of thousands, or even millions of nodes. To analyze the performance of a P2P network, or an algorithm or protocol designed...
KIVS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...
123
click to vote
MICAI
2005
Springer
15 years 7 months ago
2005
Springer
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...