Sciweavers

2435 search results - page 365 / 487
» System Exploration of SystemC Designs
Sort
View
ICMI
2004
Springer
117views Biometrics» more  ICMI 2004»
15 years 10 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
131
Voted
KI
1999
Springer
15 years 8 months ago
Agents in Traffic Modelling - From Reactive to Social Behaviour
In modern societies the demand for mobility is increasing daily. Hence, one challenge to researchers dealing with traffic and transportation is to find efficient ways to model and ...
Ana L. C. Bazzan, Joachim Wahle, Franziska Klü...
DLS
2007
159views Languages» more  DLS 2007»
15 years 8 months ago
Relationally-parametric polymorphic contracts
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
Arjun Guha, Jacob Matthews, Robert Bruce Findler, ...
USENIX
2008
15 years 6 months ago
Perspectives:  Improving SSH-style Host Authentication with Multi-Path Probing
The popularity of "Trust-on-first-use" (Tofu) authentication, used by SSH and HTTPS with self-signed certificates, demonstrates significant demand for host authenticatio...
Dan Wendlandt, David G. Andersen, Adrian Perrig
CLEF
2009
Springer
15 years 5 months ago
CLEF 2009 Ad Hoc Track Overview: Robust-WSD Task
Abstract. The Robust-WSD at CLEF 2009 aims at exploring the contribution of Word Sense Disambiguation to monolingual and multilingual Information Retrieval. The organizers of the t...
Eneko Agirre, Giorgio Maria Di Nunzio, Thomas Mand...