1368 search results - page 124 / 274 » Challenges for Model-Integrating Components |
148
click to vote
CLOUDCOM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Grid computing is based on coordinated resource sharing in a dynamic environment of multi-institutional virtual organizations. Data exchanges, and service allocation, are...
128
Voted
WSC
2007
15 years 5 months ago
2007
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
WSC
2008
15 years 5 months ago
2008
The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discreteeve...
ASSETS
2008
ACM
15 years 5 months ago
2008
ACM
Information graphics (such as bar charts and line graphs) are an important component of many documents. Unfortunately, these representations present serious access challenges for ...
136
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...