315 search results - page 57 / 63 » A Hybrid Integrated Architecture for Language Service Compos... |
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
UML
2000
Springer
13 years 11 months ago
2000
Springer
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
AICT
2006
IEEE
13 years 9 months ago
2006
IEEE
Structured peer-to-peer overlay network is an efficient solution for querying and retrieving resources spread between the peers. Unfortunately, key based routing of Distributed Ha...
BNCOD
2003
13 years 9 months ago
2003
The DynaQuest-Framework should reduce the effort for the creation of Internet-based virtual databases. These virtual databases are a special kind of federated database systems whe...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...