7380 search results - page 1142 / 1476 » Engineering Software Intensive Systems |
124
click to vote
UIST
1998
ACM
15 years 8 months ago
1998
ACM
We describe a new method and implementation for managing information through the use of physical objects. In today’s networked world, the trend is toward working in a global vir...
134
click to vote
UIST
1998
ACM
15 years 8 months ago
1998
ACM
Our goal is to provide tools to support working meetings on an electronic whiteboard, called Tivoli. This paper describes how we have integrated structured domain objects, which r...
100
click to vote
WADT
1998
Springer
15 years 8 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...
140
click to vote
WADT
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
124
click to vote
UIST
1997
ACM
15 years 8 months ago
1997
ACM
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring th...