2088 search results - page 241 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
160
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We describe extensions to the Excel spreadsheet that integrate userdefined functions into the spreadsheet grid, rather than treating them as a "bolt-on". Our first objec...
182
click to vote
VIP
2000
15 years 7 months ago
2000
The aim of this paper is to develop accurate and reliable methods for automated detection of the edges of the lung by a knowledge-based approach. First, the system initialises the...
197
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
141
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
174
click to vote
DAC
2000
ACM
15 years 10 months ago
2000
ACM
The decrease in feature size and added chip functionality in large sub-micron integrated circuits demand larger grids for power distribution. Since power grids are performance lim...