2836 search results - page 313 / 568 » Model Checking for Software Architectures |
152
Voted
DRM
2006
Springer
15 years 8 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...
159
click to vote
ATAL
1995
Springer
15 years 8 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
147
Voted
ISPASS
2006
IEEE
15 years 11 months ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
139
Voted
ICWE
2005
Springer
15 years 10 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
156
click to vote
ICECCS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...