575 search results - page 70 / 115 » Towards Electrical, Integrated Implementations of SIMPL Syst... |
SSDBM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— This paper presents LIVE, a complete DBMS designed for applications with many stored derived relations, and with a need for simple versioning capabilities when base dat...
OSDI
2006
ACM
16 years 3 days ago
2006
ACM
In current commodity systems, applications have no way of limiting their trust in the underlying operating system (OS), leaving them at the complete mercy of an attacker who gains...
105
click to vote
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
102
click to vote
USENIX
1994
15 years 1 months ago
1994
A hybrid of window system, shell, and editor, Acme gives text-oriented applications a clean, expressive, and consistent style of interaction. Traditional window systems support in...
111
click to vote
IJCSA
2006
14 years 11 months ago
2006
The explosion of the number of web-based information sources has drastically increased the need for intelligent mediation tools to be implemented between the users and these infor...