4167 search results - page 656 / 834 » Regression model checking |
160
Voted
ICTAC
2005
Springer
15 years 9 months 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...
128
Voted
RTA
2005
Springer
15 years 9 months 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...
134
Voted
UML
2005
Springer
15 years 9 months 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...
121
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
121
Voted
AIMSA
2004
Springer
15 years 9 months ago
2004
Springer
The ability to automatically compose web services, and to monitor their execution, is an essential step to substantially decrease time and costs in the development, integration, a...