1453 search results - page 87 / 291 » State and history in operating systems |
98
Voted
AVI
2000
15 years 1 months ago
2000
This paper describes the software architecture for our pen-based electronic whiteboard system, called Flatland. The design goal of Flatland is to support various activities on per...
121
Voted
DKE
2006
15 years 18 days ago
2006
As several mature implementations of data warehousing systems are fully operational, a crucial role in preserving their up-to-dateness is played by the ability to manage the chang...
101
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
93
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this article we explore the short and largely undocumented history of electronic government, discuss the literature of e-government at the local government level, and document ...
112
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...