4036 search results - page 358 / 808 » Formal Methods |
219
click to vote
IFM
2007
Springer
16 years 27 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
198
click to vote
EUROMICRO
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
194
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
199
click to vote
IFM
2005
Springer
16 years 7 days ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
153
click to vote
ICFCA
2004
Springer
16 years 3 days ago
2004
Springer
The transfer of tacit knowledge is important in ensuring that an organisations most valuable assets do not walk out the door. While much controversy surrounds the definition of ta...