626 search results - page 59 / 126 » Logical Foundations for Data Integration |
167
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...
127
click to vote
PERVASIVE
2004
Springer
15 years 10 months ago
2004
Springer
Based on an extensive field study of current firefighting practices, we have developed a system called Siren to support tacit communication between firefighters with multiple level...
127
Voted
TPPP
1994
15 years 9 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
262
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
We present a system towards the integration of data mining into relational databases. To this end, a relational database model is proposed, based on the so called virtual mining vi...
137
click to vote
SFP
2003
15 years 6 months ago
2003
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...