659 search results - page 86 / 132 » Binding as sets of scopes |
92
Voted
FOSAD
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...
117
Voted
GCC
2007
Springer
15 years 6 months ago
2007
Springer
Many Internet applications use overlay networks as their basic facilities, like resource sharing, collaborative computing, and so on. Considering the communication cost, most over...
101
Voted
RE
2007
Springer
15 years 6 months ago
2007
Springer
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...
92
Voted
NOMS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— Network monitoring and measurement is commonly regarded as an essential function for understanding, managing and improving the performance and security of network infra...
SEW
2006
IEEE
15 years 6 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...