15416 search results - page 127 / 3084 » Embeddings of Computable Structures |
120
click to vote
RTCSA
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
174
click to vote
EEF
2000
15 years 7 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
70
Voted
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
121
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
134
click to vote
SEUS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. Accurate real-time monitoring of structural health can result in significant safety improvements, while providing data that can be used to improve design and constructio...