Sciweavers

9974 search results - page 1474 / 1995
» Software Interconnection Models
Sort
View
ICFEM
2007
Springer
16 years 1 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
SEKE
2007
Springer
16 years 1 months ago
Towards Domain-Centric Ontology Development and Maintenance Frameworks
In this paper, we attempt to study and investigate ontology development and maintenance frameworks from a domain-centric point of view. By frameworks we mean the structures which ...
Faezeh Ensan, Weichang Du
AICCSA
2006
IEEE
136views Hardware» more  AICCSA 2006»
16 years 1 months ago
The Branding Analysis Pattern
Branding is a concept that spans multiple areas of application. It is used to create identifiable associations between any type of entity and its brands, with the sole purpose of ...
Huáscar A. Sánchez, Mohamed E. Fayad
ISORC
2006
IEEE
16 years 1 months ago
Looking Ahead in Open Multithreaded Transactions
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
Maxime Monod, Jörg Kienzle, Alexander Romanov...
SACMAT
2006
ACM
16 years 29 days ago
Information flow property preserving transformation of UML interaction diagrams
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
Fredrik Seehusen, Ketil Stølen
« Prev « First page 1474 / 1995 Last » Next »