ECEASST
2008
13 years 11 months ago
2008
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...
DBSEC
1996
14 years 23 days ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
ESWS
2008
Springer
14 years 1 months ago
2008
Springer
A layered architecture for the Semantic Web that adheres to software engineering principles and the fundamental aspects of layered architectures will assist in the development of S...
WADT
1999
Springer
14 years 3 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
HUC
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. This paper describes the implementation of a prototype locationaware tourist information system. Particular emphasis is paid to the layered architecture and the rapid con...
DISCEX
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper proposes several integrated security architecture designs for client-server group communication systems. In an integrated architecture, security services are implemente...
WETICE
2005
IEEE
14 years 5 months ago
2005
IEEE
The globalization of businesses and the cooperation between organizations have brought on an ever increased need for providing support for distributed collaborations. In this pape...
SIGSOFT
2001
ACM
15 years 5 days ago
2001
ACM
Layered architecture in operating system code is often compromised by execution path-specific customizations such as prefetching, page replacement and scheduling strategies. Paths...