1678 search results - page 128 / 336 » An ASM Specification of C |
153
Voted
ANSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...
135
Voted
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
158
click to vote
SIGCPR
2003
ACM
15 years 11 months ago
2003
ACM
Enterprise Resource Planning (ERP) systems are large, complex integrated software applications that often take years to implement. This study examined a major determinant of succe...
151
Voted
CIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
128
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Packaging becomes an important issue in aerospace equipments because of high integration and severe environmental constraints. In order to develop products which respond to the ...