7693 search results - page 397 / 1539 » Design and Implementation of the FRIENDS System |
208
click to vote
DEXAW
2000
IEEE
16 years 1 days ago
2000
IEEE
City councils have not yet benefited as much from modern information systems as the other administrations. In the Cuparla project, members of the Stuttgart city councils were each...
166
click to vote
RTSS
1996
IEEE
15 years 11 months ago
1996
IEEE
Admission control and overload management techniques are central to the design and implementation of RealTime Database Systems. In this paper, we motivate the need for these mecha...
184
click to vote
ECOOP
1994
Springer
15 years 11 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
198
click to vote
FMOODS
2007
15 years 9 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
164
click to vote
OSDI
1996
ACM
15 years 9 months ago
1996
ACM
This paper makes a case for paths as an explicit abstraction in operating system design. Paths provide a unifying infrastructure for several OS mechanisms that have been introduce...