1029 search results - page 6 / 206 » Dependence Anti Patterns |
ER
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. In this paper an approach for building process models for ecommerce is proposed. It is based on the assumption that the process modeling task can be methodologically supp...
ACL
2003
13 years 9 months ago
2003
We describe an algorithm for recovering non-local dependencies in syntactic dependency structures. The patternmatching approach proposed by Johnson (2002) for a similar task for p...
GLVLSI
2006
IEEE
14 years 1 months ago
2006
IEEE
Process variations have become a serious concern for nanometer technologies. The interconnect and device variations include interand intra-die variations of geometries, as well as...
WOSS
2004
ACM
14 years 1 months ago
2004
ACM
The development of dependable software systems is a costly undertaking. Fault tolerance techniques as well as self-repair capabilities usually result in additional system complexi...
ITP
2010
13 years 11 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...