850 search results - page 30 / 170 » Certification of System Architecture Dependability |
ICDCS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes an architecture that provides support for quality of service (QoS) specification and enforcement in heterogeneous distributed computing systems. The Quartz Qo...
107
click to vote
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
104
click to vote
ECBS
2008
IEEE
15 years 1 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
IAT
2006
IEEE
15 years 5 months ago
2006
IEEE
A Multi-agent system (MAS) is an open distributed system of agents. The agents in a MAS may form certain specific groups, where agents in each group jointly engage in solving a s...
IWANN
2009
Springer
15 years 4 months ago
2009
Springer
This article presents a distributed agent-based architecture that can process the visual information obtained by stereoscopic cameras. The system is embedded within a global projec...