822 search results - page 136 / 165 » Energy-Efficient Graphical User Interface Design |
CADE
1994
Springer
13 years 11 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
EDBT
1992
ACM
13 years 11 months ago
1992
ACM
A general technique for merging database schemas is developed that has a number of advantages over existing techniques, the most important of which is that schemas are placed in a...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
EHCI
2004
13 years 9 months ago
2004
New display technologies will enable designers to use every surface as a support for interaction with information technology. In this article, we describe techniques and tools for ...
WEBNET
1998
13 years 9 months ago
1998
Abstract: In this paper, we investigate the use of artificial Intelligence techniques in the management of largescale high-speed networks. We present a design of an intelligent net...