1075 search results - page 175 / 215 » Toward a Verified Relational Database Management System |
136
click to vote
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
Peer-to-peer (p2p) systems offer an efficient means of data sharing among a dynamically changing set of a large number of autonomous nodes. Each node in a p2p system is connected...
128
click to vote
NSPW
2004
ACM
15 years 8 months ago
2004
ACM
Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort...
152
Voted
EDBT
2010
ACM
15 years 6 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
CIKM
2007
Springer
15 years 9 months ago
2007
Springer
Metaphor is not merely a rhetorical device, characteristic of language alone, but rather a fundamental feature of the human conceptual system. A metaphor is understood by finding ...
133
Voted
ACIIDS
2009
IEEE
15 years 8 months 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...