759 search results - page 129 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
102
Voted
JSW
2008
15 years 12 days 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...
111
click to vote
ASE
2002
15 years 9 days 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...
86
Voted
BMCBI
2007
15 years 16 days 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
15 years 6 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. ...
97
Voted
ICCV
2009
IEEE
16 years 5 months 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...