759 search results - page 129 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
JSW
2008
13 years 7 months ago
2008
An application framework provides reusable design and implementation for a family of software systems. At the application engineering stage, application developers extend framework...
ASE
2002
13 years 7 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
BMCBI
2007
13 years 7 months ago
2007
Background: RNA metabolism, through 'combinatorial splicing', can generate enormous structural diversity in the proteome. Alternative domains may interact, however, with...
ISCA
2007
IEEE
14 years 1 months ago
2007
IEEE
Transient faults due to particle strikes are a key challenge in microprocessor design. Driven by exponentially increasing transistor counts, per-chip faults are a growing burden. ...
ICCV
2009
IEEE
15 years 19 days ago
2009
IEEE
This purely theoretical work investigates the problem
of artificial singularities in camera self-calibration. Selfcalibration
allows one to upgrade a projective reconstruction
t...