4290 search results - page 153 / 858 » Formal Approaches to Teamwork |
148
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
171
click to vote
JCS
2006
15 years 6 months ago
2006
Abstract: Cryptographic protocols are successfully analyzed using formal methods. However, formal approaches usually consider the encryption schemes as black boxes and assume that ...
160
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
With the availability of multi-core processors and large-scale computing clusters, the study of parallel algorithms has been revived throughout the industry. We present a portfolio...
169
click to vote
WISE
2008
Springer
16 years 29 days ago
2008
Springer
This paper presents an Ontology-based approach for dealing with guidelines concerning the usability and the accessibility of Web applications. We report an ontology which provides ...
156
click to vote
SEMWEB
2007
Springer
16 years 21 days ago
2007
Springer
This paper shows how a Fuzzy Ontology based approach can improve semantic documents retrieval. After formally defining a Fuzzy Knowledge Base, it is discussed a special type of ne...