22864 search results - page 14 / 4573 » An Integrated and |
155
click to vote
FM
1997
Springer
15 years 1 months ago
1997
Springer
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...
ACSAC
2009
IEEE
15 years 1 months ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
IJAR
2006
14 years 9 months ago
2006
Fuzzy integrals, in general, and Sugeno integrals, in particular, are well known aggregation operators. They can be used in a great variety of decision making applications. Nevert...
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
This paper presents our work on supporting evaluation of integrity constraint issues in semantic web instance data. We propose an alternative semantics for the ontology language, i...
139
click to vote
SIGMOD
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes an approach to achieving data integration across multiple sources in an enterprise, in a manner that does not require heavy investment in database and middlew...