1678 search results - page 204 / 336 » An ASM Specification of C |
139
Voted
PLPV
2010
ACM
15 years 8 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
147
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
In this paper, we address the problem of content placement in peer-to-peer systems, with the objective of maximizing the utilization of peers' uplink bandwidth resources. We ...
165
Voted
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
154
click to vote
DIS
2008
Springer
15 years 8 months ago
2008
Springer
Taxonomies for a set of features occur in many real-world domains. An example is provided by paleontology, where the task is to determine the age of a fossil site on the basis of t...
218
click to vote
DSOM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract overlay networks have been considered enablers of efficient management for decentralized, large scale service deployments. A Content Delivery Network (CDN) is an example o...