Sciweavers

3971 search results - page 236 / 795
» On the Use of Properties in Java Applications
Sort
View
ICMI
2004
Springer
117views Biometrics» more  ICMI 2004»
15 years 12 months ago
AROMA: ambient awareness through olfaction in a messaging application
This work explores the properties of different output modalities as notification mechanisms in the context of messaging. In particular, the olfactory (smell) modality is introdu...
Adam Bodnar, Richard Corbett, Dmitry Nekrasovski
INFOCOM
1998
IEEE
15 years 10 months ago
Zero Queueing Flow Control and Applications
Zero Queueing Flow Control (ZQFC) is a new creditbased flow control method for ATM networks. The receiving node of such a flow-controlled link will have zero queueoccupancy in the...
H. T. Kung, Shie Yuan Wang
CONCUR
1997
Springer
15 years 10 months ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
KR
1994
Springer
15 years 10 months ago
An Application of Terminological Logics to Case-based Reasoning
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
Jana Koehler
IJCAI
1989
15 years 7 months ago
A Technique for Customizing Object-Oriented Knowledge Representation Systems, With An Application to Network Problem Management
Over the last few years, object-oriented techniques have gained an increasing recognition both in software engineering and in AI. Object-oriented systems present undisputable adva...
Lisiane Goffaux, Robert Mathonet