1980 search results - page 241 / 396 » Compositional Model Checking of Real Time Systems |
183
click to vote
PRDC
2008
IEEE
16 years 25 days ago
2008
IEEE
Many large scale systems, like grids and structured peer to peer systems, operate on a constrained topology. Since underlying networks do not expose the real topology to the appli...
200
click to vote
AGTIVE
2007
Springer
16 years 19 days ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
199
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
177
click to vote
KDD
2000
ACM
15 years 10 months ago
2000
ACM
We describe an application of data mining and decision analysis to the problem of die-level functional test in integrated circuit manufacturing. Integrated circuits are fabricated...
164
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— A limiting property of the matrix exponential is proven: For a real square matrix, where the log norm of the upper-left n by n block approaches negative infinity in a limiting...