2060 search results - page 235 / 412 » The Composition of Event-B Models |
158
click to vote
SECURWARE
2007
IEEE
16 years 25 days ago
2007
IEEE
— Digital Ecosystems is the new paradigm for dynamic IT business integration. A Digital Ecosystem consists of institutions that compete, collaborate, and form stable or unstable ...
194
click to vote
RTSS
2003
IEEE
15 years 12 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...
171
click to vote
ICCAD
1996
IEEE
15 years 10 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...
198
click to vote
UAI
1996
15 years 7 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...
155
click to vote
ENTCS
2008
15 years 6 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...