1797 search results - page 280 / 360 » Real-World Graphical User Interfaces |
128
click to vote
CADE
1994
Springer
15 years 7 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 ...
122
Voted
IFIP
1994
Springer
15 years 7 months ago
1994
Springer
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...
138
Voted
EDBT
1992
ACM
15 years 7 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...
113
Voted
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
109
click to vote
CAV
2010
Springer
15 years 7 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...