537 search results - page 54 / 108 » Representativeness models of systems: smart grid example |
CONCUR
2000
Springer
14 years 1 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
AIEDU
2007
13 years 8 months ago
2007
Recently, opening the learner model to the learner it represents has become more common in adaptive learning environments. There have also been systems that allow instructors acces...
SG
2007
Springer
14 years 2 months ago
2007
Springer
: We propose a sketch-based interface for modeling the myocardial fiber orientation required in the electrophysiological simulation of the heart, especially the ventricles. The use...
ECOOPW
1998
Springer
14 years 29 days ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...