1075 search results - page 43 / 215 » Toward a Verified Relational Database Management System |
122
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
There exists a very diverse range of views and perceptions about KM and a need to appreciate these issues and concerns among different communities of knowledge workers. Our resear...
210
Voted
DNIS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The challenge of building consistent, available, and scalable data management systems capable of serving petabytes of data for millions of users has confronted the data m...
142
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
134
click to vote
MKWI
2008
15 years 5 months ago
2008
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
132
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
This paper introduces the CondorJ2 cluster management system. Traditionally, cluster management systems such as Condor employ a process-oriented approach with little or no use of ...