2757 search results - page 101 / 552 » On separating systems |
150
click to vote
AIMSA
2008
Springer
15 years 10 months ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
110
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
110
click to vote
SOSP
1997
ACM
15 years 5 months ago
1997
ACM
A common problem facing mobile computing is disconnected operation, or computing in the absence of a network. Hoarding eases disconnected operation by selecting a subset of the us...
117
click to vote
CHI
1997
ACM
15 years 8 months ago
1997
ACM
In this paper, we introduce a new approach for applying haptic feedback technology to interpersonal communication. We present the design of our prototype inTouch system which prov...
121
click to vote
WSC
1997
15 years 5 months ago
1997
Manufacturing automotive powertrain components (engines and transmissions) is a complex task involving the integration of hundreds of components. Simulation is commonly applied in...