9405 search results - page 473 / 1881 » Computing a Model of Set Theory |
166
click to vote
DSN
2002
IEEE
16 years 18 days ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
192
click to vote
ICCAD
1999
IEEE
15 years 12 months ago
1999
IEEE
Krylov-subspace based methods for generating low-order models of complicated interconnect are extremely effective, but there is no optimality theory for the resulting models. Alte...
261
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...
226
click to vote
ICN
2009
Springer
15 years 5 months ago
2009
Springer
It is essential that a monitoring system is being designed with performance and scalability in mind. But due to the diversity and complexity of both the monitoring and the monitore...
210
click to vote
PODC
2009
ACM
16 years 8 months ago
2009
ACM
In 2004, Klavins et al. introduced the use of graph grammars to describe--and to program--systems of self-assembly. It turns out that these graph grammars can be embedded in a gra...