1158 search results - page 58 / 232 » Software is discrete mathematics |
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we define a continuum of modeling styles, ranging from collections of very simple agents on one end to collections of very complex agents at the other end, and a s...
CAV
1997
Springer
14 years 1 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
CCE
2004
13 years 8 months ago
2004
We consider the dynamic optimization of chemical processes with changes in the number of equilibrium phases. Recent work has shown that transitions in the number of phases can be ...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
IUI
2004
ACM
14 years 2 months ago
2004
ACM
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...