10159 search results - page 394 / 2032 » System Design Validation Using Formal Models |
122
click to vote
ICNP
2007
IEEE
15 years 10 months ago
2007
IEEE
- A Network Court Protocol is designed for malicious node conviction based on information from network node accusing and testifying operations, which are formally modeled by algebr...
138
click to vote
FORTE
2004
15 years 5 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
121
click to vote
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
131
click to vote
ANSS
1997
IEEE
15 years 8 months ago
1997
IEEE
HPAM Sim is an execution-driven simulator of heterogeneous machines. HPAM Sim allows the simulation of target machines consisting of different processors and interconnection netwo...
128
click to vote
WSC
2004
15 years 5 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...