3028 search results - page 166 / 606 » Integrating Temporal Logics |
190
click to vote
ICES
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Fault Tolerance is an increasing challenge for integrated circuits due to semiconductor technology scaling. This paper looks at how artificial evolution may be tuned to ...
195
click to vote
AMW
2010
15 years 8 months ago
2010
A Data Warehouse (DW) is a data repository that integrates data from multiple sources and organizes the data according to a set of data structures called dimensions. Each dimension...
214
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
174
Voted
DLOG
1996
15 years 8 months ago
1996
: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...
229
click to vote
FODO
1998
Springer
15 years 11 months ago
1998
Springer
In object-oriented database systems (OODB) with logical OIDs, an OID index (OIDX) is needed to map from OID to the physical location of the object. In a transaction time temporal ...