276 search results - page 43 / 56 » Model Checking Groupware Protocols |
136
click to vote
CBSE
2008
Springer
15 years 4 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
146
click to vote
ERSHOV
2009
Springer
15 years 4 days ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
123
click to vote
IIWAS
2008
15 years 3 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
106
click to vote
ACSAC
2010
IEEE
15 years 11 days ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
130
click to vote
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
Transactional flash (TxFlash) is a novel solid-state drive (SSD) that uses flash memory and exports a transactional interface (WriteAtomic) to the higher-level software. The copy-...