1855 search results - page 313 / 371 » Composing model programs for analysis |
FPCA
1989
15 years 1 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
EMSOFT
2007
Springer
15 years 1 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
PE
2010
Springer
14 years 8 months ago
2010
Springer
Solution of large sparse linear fixed-point problems lies at the heart of many important performance analysis calculations. These calculations include steady-state, transient and...
BMCBI
2005
14 years 9 months ago
2005
Background: General protein evolution models help determine the baseline expectations for the evolution of sequences, and they have been extensively useful in sequence analysis an...
KSEM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...