1747 search results - page 176 / 350 » A Comparative Analysis of Architecture Frameworks |
182
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
165
click to vote
HT
2006
ACM
16 years 14 days ago
2006
ACM
We present Opal, a light-weight framework for interactively locating missing web pages (http status code 404). Opal is an example of “in vivo” preservation: harnessing the col...
183
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
169
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
For statistical timing and power analysis that are very important problems in the sub-100nm technologies, stochastic analysis of power grids that characterizes the voltage fluctua...
174
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Current source based cell models are becoming a necessity for accurate timing and noise analysis at 65nm and below. Voltage waveform shapes are increasingly more difficult to repr...