12115 search results - page 153 / 2423 » Bisimulation of Dynamical Systems |
EWSA
2005
Springer
14 years 3 months ago
2005
Springer
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...
ICCAD
1994
IEEE
14 years 2 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
VLDB
1995
ACM
14 years 1 months ago
1995
ACM
Parallel database systems have to support the effective parallelization of complex queries in multi-user mode, i.e. in combination with inter-query/inter-transaction parallelism. ...
GAMEON
2007
13 years 11 months ago
2007
An advanced Business Game is presented in the paper, built on the methodology of System Dynamics. It can be used for cognitive learning and knowledge transmission in schools and U...
IJMTM
2007
13 years 10 months ago
2007
: We consider a new type of value chain that includes both production and service capabilities for existing product lines and that incorporates new product and service development....