928 search results - page 99 / 186 » Interpolation-sequence based model checking |
104
Voted
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
160
click to vote
ACOM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
115
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
114
Voted
DCC
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper interprets image interpolation as a channel decoding problem and proposes a tanner graph based interpolation framework, which regards each pixel in an image as a variab...
124
Voted
ACISP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Permission-role assignment is an important issue in rolebased access control (RBAC). There are two types of problems that may arise in permission-role assignment. One is ...