Sciweavers

3377 search results - page 399 / 676
» Describing differences between databases
Sort
View
ECAI
1998
Springer
15 years 10 months ago
The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis
Abstract. Teams arise in a number of important multiagent applications. Several theories of intentions for teams have been proposed. By and large, these theories tend to model team...
Munindar P. Singh
HICSS
1997
IEEE
135views Biometrics» more  HICSS 1997»
15 years 10 months ago
Animation for Validation of Business System Specifications
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
V. Lalioti
UIST
1997
ACM
15 years 10 months ago
Simplifying Component Development in an Integrated Groupware Environment
This paper describes our experiences implementing a component architecture for TeamWave Workplace, an integrated groupware environment using a rooms metaphor. The problem we faced...
Mark Roseman, Saul Greenberg
ICCAD
1994
IEEE
127views Hardware» more  ICCAD 1994»
15 years 10 months ago
Synthesis of concurrent system interface modules with automatic protocol conversion generation
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
Bill Lin, Steven Vercauteren
CCL
1994
Springer
15 years 10 months ago
Application of Constraint Logic Programming for VLSI CAD Tools
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
Renate Beckmann, Ulrich Bieker, Ingolf Markhof