1188 search results - page 206 / 238 » Testing Semantics: Connecting Processes and Process Logics |
132
click to vote
COMPSAC
2011
IEEE
14 years 1 months ago
2011
IEEE
— This paper discusses ongoing research into the development of an original composition portfolio themed on the concept of palimpsests of time and place. The research involves th...
DAC
2004
ACM
16 years 2 months ago
2004
ACM
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequat...
143
click to vote
IRI
2008
IEEE
15 years 8 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
126
click to vote
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
BIOCOMP
2006
15 years 3 months ago
2006
A Clinical Decision Support System has been developed using the Exsys software for the flexor tendon injuries in Zone II encompassing the continuum from injury to complete rehabil...