154 search results - page 23 / 31 » A Generic Approach to Structuring and Implementing Complex F... |
ICIW
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—Peer-to-Peer (P2P) systems are widely used for sharing digital items without structured metadata and in absence of any kind of digital rights management applied to the d...
ICECCS
2009
IEEE
14 years 2 months ago
2009
IEEE
Collaborative development, incremental design and revision management require the ability to compare different versions of software artifacts. There are well-established approache...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
MICRO
2006
IEEE
13 years 7 months ago
2006
IEEE
Since processor performance scalability will now mostly be achieved through thread-level parallelism, there is a strong incentive to parallelize a broad range of applications, inc...
SAC
2010
ACM
14 years 23 days ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...