1804 search results - page 169 / 361 » Towards P2P Information Systems |
159
click to vote
DSVIS
2005
Springer
16 years 16 hour ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
175
click to vote
DRM
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we look at the problem of interoperability of digital rights management (DRM) systems in home networks. We introduce an intermediate module called the Domain Interop...
173
click to vote
ECOWS
2006
Springer
15 years 10 months ago
2006
Springer
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
159
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
—As an effective approach to maintain software system without interrupting the service, online migration has been applied for many goals, e.g. achieving a higher system performan...
152
click to vote
FOIS
2010
15 years 8 months ago
2010
Abstract. The paper presents preliminary results in the area of ontological engineering for historical research. Historical information systems are still in the initial stage of de...