3040 search results - page 19 / 608 » Independent Natural Extension |
BTW
2001
Springer
14 years 9 days ago
2001
Springer
In this article, we present our efforts1 on realizing transformation independence in open, extensible, and highly distributed multimedia information The main focus is on the abstra...
EUSFLAT
2007
13 years 9 months ago
2007
We introduce a simple aggregate claims model, which is able to take into account a continuous range of positive dependence between independence and comonotone dependence. It is ba...
TOPNOC
2010
13 years 2 months ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...
MOMPES
2007
IEEE
14 years 2 months ago
2007
IEEE
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
DLOG
2004
13 years 9 months ago
2004
This paper proposes constructs that can be used to declaratively specify the disjoint nature of object properties or roles. These constructs may be a useful extension to the Descr...