1525 search results - page 43 / 305 » Formal Models for Communication-Based Design |
JSW
2007
13 years 7 months ago
2007
— Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A clas...
GI
2001
Springer
14 years 13 days ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
ICALT
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper briefly describes how ontologies can be used to model, validate and execute IMS Learning Design. The main contribution relies on incorporate the implicit knowledge foun...
HASE
2008
IEEE
14 years 2 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
CSFW
2010
IEEE
13 years 12 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...