3868 search results - page 531 / 774 » Open Systems in TLA |
191
click to vote
USENIX
1994
15 years 8 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...
205
click to vote
SMC
2007
IEEE
16 years 26 days ago
2007
IEEE
—Digitization of production factors, including the knowledge for knowledge workers and consumers, opens almost infinite potential to connect persons, systems, processes, enterpri...
150
click to vote
COCOON
2007
Springer
16 years 23 days ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
179
click to vote
ICAT
2006
IEEE
16 years 19 days ago
2006
IEEE
—Spatial augmented reality using controllable projector-camera-systems to project onto objects directly, or Projected Reality as we call it, offers the possibility to augment obj...
218
click to vote
PPAM
2005
Springer
16 years 2 days ago
2005
Springer
The ARTiS system, a real-time extension of the GNU/Linux scheduler dedicated to SMP (Symmetric Multi-Processors) systems is proposed. ARTiS exploits the SMP architecture to guarant...