Sciweavers

78 search results - page 9 / 16
» Three Interactions Between Context and Epistemic Locutions
Sort
View
COORDINATION
2006
Springer
13 years 11 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
CHI
2000
ACM
13 years 11 months ago
Measuring usability: are effectiveness, efficiency, and satisfaction really correlated?
Usability comprises the aspects effectiveness, efficiency, and satisfaction. The correlations between these aspects are not well understood for complex tasks. We present data from...
Erik Frøkjær, Morten Hertzum, Kasper ...
ICCD
2004
IEEE
100views Hardware» more  ICCD 2004»
14 years 4 months ago
A Minimal Dual-Core Speculative Multi-Threading Architecture
Speculative Multi-Threading (SpMT) can improve single-threaded application performance using the multiple thread contexts available in current processors. We propose a minimal SpM...
Srikanth T. Srinivasan, Haitham Akkary, Tom Holman...
ITS
2004
Springer
129views Multimedia» more  ITS 2004»
14 years 23 days ago
Developing Learning by Teaching Environments That Support Self-Regulated Learning
Abstract. Betty’s Brain is a teachable agent system in the domain of river ecosystems that combines learning by teaching and self-regulation strategies to promote deep learning a...
Gautam Biswas, Krittaya Leelawong, Kadira Belynne,...
DIGRA
2005
Springer
14 years 28 days ago
/hide: The aesthetics of group and solo play
In this essay, I examine differences between individual and social play and, in particular, the differences between individual and social play within digital media forms designed ...
David Myers