3024 search results - page 553 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
159
click to vote
SACMAT
2006
ACM
15 years 10 months ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
136
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
The server side of business software systems is commonly implemented today by an ensemble of Java classes distributed over several hosts. In this scenario, it is often necessary, ...
134
Voted
SENSYS
2005
ACM
15 years 9 months ago
2005
ACM
MAX is a system that facilitates human-centric search of the physical world. It allows humans to search for and locate objects as and when they need it instead of organizing them ...
133
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
163
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum le...