366 search results - page 6 / 74 » Combining Agent-Oriented Conceptual Modelling with Formal Me... |
ER
1998
Springer
13 years 11 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
FMSB
2008
13 years 8 months ago
2008
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
DAC
2006
ACM
14 years 7 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
FM
1999
Springer
13 years 11 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
FORMATS
2007
Springer
13 years 10 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...