203 search results - page 18 / 41 » Pushdown Module Checking |
IVC
2008
13 years 7 months ago
2008
In the US and many other countries, bank checks are preprinted with the account number and the check number in MICR ink and format; as such, these two numeric fields can be easily...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Software component reuse is the software engineering practice of developing new software products from existing components. A reuse library or component reuse repository organizes...
EDBT
2008
ACM
14 years 7 months ago
2008
ACM
Schema mapping algorithms rely on value correspondences ? i.e., correspondences among semantically related attributes ? to produce complex transformations among data sources. Thes...
LICS
2005
IEEE
14 years 29 days ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
APN
2010
Springer
13 years 11 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNA...