1151 search results - page 80 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
133
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
132
click to vote
BPM
2005
Springer
15 years 9 months ago
2005
Springer
With the advent of Web services and orchestration specifications like BPEL it is possible to define workflows on an Internet-scale. In the health-care domain highly structured and ...
164
click to vote
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...
180
click to vote
GLVLSI
2009
IEEE
15 years 1 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
140
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Successful realization of a "systems biology" approach to analyzing cells is a grand challenge for our understanding of life. However, current modeling appro...