1728 search results - page 45 / 346 » Formal Modeling of Process Migration |
EURODAC
1994
IEEE
13 years 12 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
HASE
2008
IEEE
14 years 2 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
ISORC
2000
IEEE
13 years 11 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
EURODAC
1995
IEEE
13 years 11 months ago
1995
IEEE
This paper presents a formal approach to test combinational circuits. For the sake of explanation we describe the basic algorithms with the help of the stuck–at fault model. Ple...