10038 search results - page 1802 / 2008 » Model Checking for Managers |
140
click to vote
POLICY
2004
Springer
15 years 10 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
113
click to vote
PROFES
2004
Springer
15 years 10 months ago
2004
Springer
One of the most prominent issues involved in incremental software development is to decide upon the most appropriate software release plans taking into account all explicit and imp...
138
click to vote
PROFES
2004
Springer
15 years 10 months ago
2004
Springer
Process improvement activities in small and medium size enterprises (SME) are challenging due to small number of personnel and projects, people have to perform in a variety of role...
142
click to vote
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
SQL in the IBM® DB2® Universal Database™ for Linux®, UNIX®, and Windows® (DB2 UDB) database management product has been extended to support nested INSERT, UPDATE, and DELET...
128
Voted
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
Database outsourcing is an emerging data management paradigm which has the potential to transform the IT operations of corporations. In this paper we address privacy threats in da...