757 search results - page 62 / 152 » Composing Security-Aware Software |
119
click to vote
AC
2003
Springer
15 years 8 months ago
2003
Springer
We are investigating strategies for using replication to design and implement highly reliable peer-to-peer systems. In particular, we are comparing the use of whole object and blo...
97
Voted
EUROPAR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We describe a general component software framework designed for demanding grid environments that provides optimal performance for the assembled component application. Thi...
118
click to vote
WOSP
2000
ACM
15 years 7 months ago
2000
ACM
We present an analytic technique for modeling load balancing policies on a cluster of servers conditioned on the fact that the service times of arriving tasks are drawn from heavy...
102
click to vote
UIST
1999
ACM
15 years 7 months ago
1999
ACM
Nested User Interface Components combine the concepts of Zooming User Interfaces (ZUIs) with recursive nesting of active graphical user interface widgets. The resulting system of ...
119
click to vote
EUROMICRO
1998
IEEE
15 years 7 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...