2836 search results - page 377 / 568 » Model Checking for Software Architectures |
178
Voted
PST
2008
15 years 8 months ago
2008
Can we trust without any reliable truth information? Most trust architectures work in a similar way: a trustor makes some observations, rates the trustee, and makes recommendations...
175
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
The Space Weather Modeling Framework (SWMF) aims at providing software architecture for integrated modeling of different domains of Sun-Earth system and high-performance physics-b...
167
click to vote
CF
2010
ACM
15 years 11 months ago
2010
ACM
Over the past decade, the trajectory to the petascale has been built on increased complexity and scale of the underlying parallel architectures. Meanwhile, software developers hav...
204
click to vote
CAISE
2000
Springer
15 years 11 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
186
click to vote
EDOC
2006
IEEE
16 years 23 days ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...