1188 search results - page 24 / 238 » Testing Semantics: Connecting Processes and Process Logics |
116
click to vote
DKE
2007
15 years 1 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
116
click to vote
MICS
2010
15 years 11 days ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
117
click to vote
DIAL
2006
IEEE
15 years 8 months ago
2006
IEEE
We explore connections between digital libraries and interactive document image analysis. Digital libraries can provide useful data and metadata for research in automated document...
121
click to vote
ASWEC
2009
IEEE
15 years 7 months ago
2009
IEEE
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...