10210 search results - page 1498 / 2042 » Configuring Database Systems |
193
click to vote
IWPSE
2003
IEEE
16 years 14 days ago
2003
IEEE
In this paper we present a new perspective on the problem of complexity in software, using sound mathematical concepts from information theory such as Shannon’s Entropy [31]. We...
177
click to vote
CHARME
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
205
click to vote
DBISP2P
2003
Springer
16 years 12 days ago
2003
Springer
Peer-to-peer systems are gaining popularity as a means to effectively share huge, massively distributed data collections. In this paper, we consider XML peers, that is, peers that ...
195
click to vote
ACIIDS
2009
IEEE
16 years 9 days ago
2009
IEEE
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
208
click to vote
COMPSAC
2002
IEEE
16 years 5 days ago
2002
IEEE
Visual Query Languages represent an evolution, in terms of understandability and adaptability, with respect to traditional textual languages. We present an iconic query system tha...