Sciweavers

3256 search results - page 448 / 652
» Integrated Environment for Embedded Control Systems Design
Sort
View
SACMAT
2009
ACM
15 years 11 months ago
Supporting RBAC with XACML+OWL
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...
Rodolfo Ferrini, Elisa Bertino
ECIS
2003
15 years 5 months ago
Development of a security methodology for cooperative information systems: the cooPSIS project
Since networks and computing systems are vital components of today's life, it is of utmost importance to endow them with the capability to survive physical and logical faults...
Mariagrazia Fugini, Mario Mezzanzanica
IEEESCC
2005
IEEE
15 years 10 months ago
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
Howard Foster, Sebastián Uchitel, Jeff Mage...
IUI
1997
ACM
15 years 8 months ago
Providing User Support for Interactive Applications with FUSE
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...
Frank Lonczewski
MTA
2006
136views more  MTA 2006»
15 years 4 months ago
An open framework supporting multimedia web services
With the rapid emergence of Web services, more and more Web services are published on the Internet as resources for Web application development. There may exist some relationships ...
Jia Zhang, Jen-Yao Chung