7209 search results - page 1122 / 1442 » Software Engineering for Multi-Agent Systems |
UIST
1998
ACM
15 years 5 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...
103
Voted
UIST
1998
ACM
15 years 5 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...
70
Voted
WADT
1998
Springer
15 years 5 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...
107
click to vote
WADT
1998
Springer
15 years 5 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...
86
Voted
METRICS
1997
IEEE
15 years 5 months ago
1997
IEEE
An experiment comparing the effectiveness of equivalence partitioning (EP), boundary value analysis (BVA), and random testing was performed, based on an operational avionics syste...