10038 search results - page 250 / 2008 » Model Checking for Managers |
192
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
134
click to vote
DOCENG
2003
ACM
15 years 10 months ago
2003
ACM
We discuss how references and citations within a document to particular sources can be verified and guaranteed. When a document refers through a quotation to another document, th...
158
click to vote
WIESS
2000
15 years 6 months ago
2000
A software system can be called a safe-system with respect to memory, when it supports only strong-typing and it does not allow for the manual disposal of dynamic memory [2]. The ...
172
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
161
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper presents a novel research investigation on legal amount recognition of unconstrained cursive handwritten Chinese character in the environment of A2iA CheckReaderTM ? a ...