Sciweavers

12084 search results - page 271 / 2417
» Effect Systems with Subtyping
Sort
View
RTS
2006
132views more  RTS 2006»
15 years 7 months ago
A framework for modular analysis and exploration of heterogeneous embedded systems
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...
Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst
IGPL
2010
101views more  IGPL 2010»
15 years 5 months ago
Robust normative systems and a logic of norm compliance
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
CHI
2006
ACM
16 years 7 months ago
Adaptive language behavior in HCI: how expectations and beliefs about a system affect users' word choice
People display adaptive language behaviors in face-to-face conversations, but will computer users do the same during HCI? We report an experiment (N=20) demonstrating that users&#...
Jamie Pearson, Jiang Hu, Holly P. Branigan, Martin...
RTSS
2000
IEEE
15 years 11 months ago
Performance Specifications and Metrics for Adaptive Real-Time Systems
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...
Chenyang Lu, John A. Stankovic, Tarek F. Abdelzahe...
INTERACT
2003
15 years 8 months ago
Confidence Displays and Training in Recommender Systems
: Recommender systems help users sort through vast quantities of information. Sometimes, however, users do not know if they can trust the recommendations they receive. Adding a con...
Sean M. McNee, Shyong K. Lam, Catherine Guetzlaff,...