16430 search results - page 2595 / 3286 » On Computable Tree Functions |
193
click to vote
DSVIS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
184
click to vote
ECAL
2005
Springer
16 years 1 months ago
2005
Springer
Recently, all the human genes were identified. But understanding the functions coded in the genes is of course a much harder problem. We are used to view DNA as some sort of a comp...
195
click to vote
ESWS
2005
Springer
16 years 1 months ago
2005
Springer
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
228
click to vote
EUROPAR
2005
Springer
16 years 1 months ago
2005
Springer
A style for programming problems from matrix algebra is developed with a familiar example and new tools, yielding high performance with a couple of surprising exceptions. The under...
168
click to vote
FROCOS
2005
Springer
16 years 1 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...