Sciweavers

173 search results - page 4 / 35
» Mathematical Foundations for a Compositional Distributional ...
Sort
View
WSC
2007
13 years 8 months ago
Regression models and experimental designs: a tutorial for simulation analysts
This tutorial explains the basics of linear regression metamodels—especially low-order polynomials—and the corresponding statistical designs—namely, fractional factorial des...
Jack P. C. Kleijnen
IWFM
1998
125views Formal Methods» more  IWFM 1998»
13 years 7 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
13 years 11 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
ATAL
2009
Springer
14 years 11 days ago
A mathematical analysis of collective cognitive convergence
Multi-agent systems are an attractive approach to modeling systems of interacting entities, but in some cases mathematical models of these systems can offer complementary benefits...
H. Van Dyke Parunak
ISORC
2000
IEEE
13 years 9 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm