5775 search results - page 844 / 1155 » A Rationale-based Analysis Tool |
176
click to vote
SSIAI
2000
IEEE
15 years 11 months ago
2000
IEEE
The use of random fields, which allows one to take into account the spatial interaction among random variables in complex systems, is a frequent tool in numerous problems of stati...
167
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
159
click to vote
CIA
2000
Springer
15 years 11 months ago
2000
Springer
Recent years have seen dramatic and sustained growth in the amount of genomic data being generated, including in late 1999 the first complete sequence of a human chromosome. The c...
185
Voted
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
180
click to vote
UML
1999
Springer
15 years 11 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...