1075 search results - page 52 / 215 » Toward a Verified Relational Database Management System |
131
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Resource virtualization is currently being employed at all levels of the IT infrastructure to improve provisioning and manageability, with the goal of reducing total cost of owner...
168
Voted
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
127
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Building multi-agent systems that can scale up to very large number of agents is a challenging research problem. In this paper, we present Distributed Multi Agent System Framework...
161
Voted
JAIS
2002
15 years 3 months ago
2002
This article explains challenges that arise when humanitarian organizations want to coordinate their development activities by means of distributed information systems. It focuses...
128
Voted
COMAD
2008
15 years 5 months ago
2008
Orion is a state-of-the-art uncertain database management system that extends the relational model to include probabilistic uncertain data as first call data types. This demonstra...