524 search results - page 68 / 105 » Application of Graph Transformation in Verification of Dynam... |
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
A variety of forces are constantly transforming enterprises, thus, requiring them to constantly adapt to changing business environment. This emergent state requires enterprises to...
ATVA
2006
Springer
14 years 12 days ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
ICDCS
2009
IEEE
14 years 5 months ago
2009
IEEE
Users and administrators of large distributed systems are frequently in need of monitoring and management of its various components, data items and resources. Though there exist s...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
IISWC
2006
IEEE
14 years 2 months ago
2006
IEEE
The load instructions of some of the bioinformatics applications in the BioPerf suite possess interesting characteristics: only a few static loads cover almost the entire dynamic ...