2488 search results - page 269 / 498 » An improvement in formal verification |
107
click to vote
JAIR
2008
15 years 1 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
114
click to vote
SAC
2006
ACM
15 years 1 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
108
Voted
FMICS
2010
Springer
14 years 11 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...
131
click to vote
FORMATS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
121
click to vote
PODC
2011
ACM
14 years 4 months ago
2011
ACM
We present a cryptographic framework to achieve access control, privacy of social relations, secrecy of resources, and anonymity of users in social networks. The main idea is to u...