12670 search results - page 243 / 2534 » Requirements Modeling |
158
click to vote
KES
2004
Springer
15 years 11 months ago
2004
Springer
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
148
Voted
CADE
1992
Springer
15 years 10 months ago
1992
Springer
Theorem provers based on model elimination have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption. In this paper we repor...
157
click to vote
FMOODS
2006
15 years 7 months ago
2006
Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These trans...
170
Voted
MBUI
2004
15 years 7 months ago
2004
Users require flexibility when interacting with information systems to contend with changing business processes, and to support diverse workflow. Model-based user interface design...
164
click to vote
TSMC
2010
15 years 25 days ago
2010
This paper proposes modeling the rapidly evolving energy systems as cyber-based physical systems. It introduces a novel cyber-based dynamical model whose mathematical description d...