28445 search results - page 340 / 5689 » Anatomically based modeling |
139
click to vote
JCSC
1998
15 years 2 months ago
1998
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
TKDE
2002
15 years 2 months ago
2002
139
click to vote
FASE
2010
Springer
15 years 27 days ago
2010
Springer
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...
163
click to vote
ESWS
2009
Springer
15 years 20 days ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...