4923 search results - page 709 / 985 » Software Risk Management |
123
click to vote
ICMCS
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper presents an ongoing Digital Right Management (DRM) standard: Digital Media Project (DMP), which is active as an interoperable DRM solution in recent three years. We sta...
135
click to vote
ADBIS
2007
Springer
16 years 25 days ago
2007
Springer
Replication is crucial to achieve high availability distributed systems. However, non-determinism introduces consistency problems between replicas. Transactions are very well suite...
163
click to vote
CC
2007
Springer
16 years 25 days ago
2007
Springer
Reference counting is a classical garbage collection method. Recently, a series of papers have extended the basic method to drastically reduce its notorious overhead and extend the...
180
click to vote
CIVR
2007
Springer
16 years 25 days ago
2007
Springer
In this paper, we outline some of the main challenges facing trademark searchers today, and discuss the extent to which current automated systems are meeting those challenges. Cat...
167
click to vote
FSEN
2007
Springer
16 years 24 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...