10159 search results - page 1606 / 2032 » System Design Validation Using Formal Models |
161
click to vote
WSC
2008
15 years 9 months ago
2008
Building a simulation model for any large complex system requires high expertise and effort. These requirements can be reduced through building generic simulation capability that ...
193
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Cloud computing is an emerging paradigm aimed to offer users pay-per-use computing resources, while leaving the burden of managing the computing infrastructure to the cloud provid...
184
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
—Service-Oriented Architecture (SOA) is a popular design paradigm for distributed systems today. Its dynamics and loose coupling are predestined for self-adaptive systems. This a...
185
click to vote
WMRD
1990
15 years 11 months ago
1990
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...
207
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Integrity measurements provide a means by which distributed systems can assess the trustability of potentially compromised remote hosts. However, current measurement techniques si...