1179 search results - page 86 / 236 » Event Model Interfaces for Heterogeneous System Analysis |
ER
2007
Springer
14 years 4 months ago
2007
Springer
The emerging area of business process intelligence attempts to enhance the analytical capabilities of business process management systems by employing data warehousing and mining t...
ACSD
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
CMSB
2008
Springer
14 years 4 hour ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
ICECCS
2009
IEEE
14 years 4 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
ECBS
2010
IEEE
14 years 5 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...