12981 search results - page 304 / 2597 » Model Checking (Abstract) |
231
click to vote
ICTAC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...
169
click to vote
RTA
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
174
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
174
click to vote
FASE
2004
Springer
16 years 13 hour ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
178
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...