2558 search results - page 309 / 512 » Model Composition Contracts |
161
click to vote
RTSS
2003
IEEE
15 years 10 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
137
click to vote
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
159
click to vote
UAI
1996
15 years 6 months ago
1996
This paper presents a Bayesian approach to learning the connectivity structure of a group of neurons from data on configuration frequencies. A major objective of the research is t...
127
click to vote
ENTCS
2008
15 years 4 months ago
2008
We propose a new biological framework, spatial networks of hybrid input/output automata (SNHIOA), for the efficient modeling and simulation of excitable-cell tissue. Within this f...
155
click to vote
AICOM
2005
2005
The Ants' Garden: Complex interactions between populations and the scalability of qualitative models
15 years 4 months ago
Ecological theories often explain the behaviour of communities in terms of the underlying interactions that take place between the species that are part of the community. This clos...