8083 search results - page 260 / 1617 » A Formalization of Software Architecture |
162
click to vote
IWFM
1998
15 years 8 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
160
click to vote
FSEN
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
185
click to vote
ICFEM
2007
Springer
16 years 23 days ago
2007
Springer
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...
206
click to vote
CCS
2005
ACM
16 years 4 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
169
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...