Sciweavers

295 search results - page 27 / 59
» Syntactic Abstraction in Component Interfaces
Sort
View
DLOG
1997
15 years 1 months ago
Experiments with the DFL Hybrid System
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
Mira Balaban, Adi Eyal
POPL
2005
ACM
16 years 4 days ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...
HPCA
1998
IEEE
15 years 4 months ago
The Impact of Data Transfer and Buffering Alternatives on Network Interface Design
The explosive growth in the performance of microprocessors and networks has created a new opportunity to reduce the latency of fine-grain communication. Microprocessor clock speed...
Shubhendu S. Mukherjee, Mark D. Hill
UIST
1995
ACM
15 years 3 months ago
Visual Interfaces for Solids Modeling
This paper exploresthe useof visualoperatorsfor solidsmodeling. We focus on designing interfaces for free-form operators such as blends, sweeps, and deformations, because these op...
Cindy Grimm, David Pugmire
AGENTCL
2000
Springer
15 years 4 months ago
Operational Semantics for Agent Communication Languages
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...