2020 search results - page 223 / 404 » Modeling Probe-Agent Distributed System by Goal-oriented App... |
184
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
156
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
A concurrent engineering-oriented design database representation model (CE-DDRM) is introduced in this research for supporting various life-cycle aspects in concurrent design. In ...
167
Voted
EDOC
2007
IEEE
16 years 24 days ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
174
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
181
click to vote
ATAL
2007
Springer
16 years 19 days ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...