Sciweavers

5675 search results - page 12 / 1135
» Formalising Performative Interaction
Sort
View
CEC
2005
IEEE
15 years 3 months ago
Designing comminution circuits with a multi-objective evolutionary algorithm
Mining is an important industry in Australia, contributing billions of dollars to the economy. The performance of a processing plant has a large impact on the profitability of a m...
Simon Huband, Luigi Barone, Philip Hingston, R. Ly...
54
Voted
IJLT
2007
72views more  IJLT 2007»
14 years 9 months ago
Quality of Experience-LAOS: create once, use many, use anywhere
: This paper proposes QoE-LAOS, a Quality of Experience-oriented adaptive authoring model that enables performance-aware adaptation. It extends the existing LAOS authoring model in...
Cristina Hava Muntean, Gabriel-Miro Muntean, Jenni...
SAC
2009
ACM
15 years 2 months ago
Towards the universal semantic assessment of accessibility
The ever increasing adoption of software technologies has bring closer technology to users with disabilities and users that interact with devices other than a PC. This diversific...
Rui Lopes, Konstantinos Votis, Luís Carri&c...
CASSIS
2004
Springer
15 years 1 months ago
Verification of Safety Properties in the Presence of Transactions
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
Reiner Hähnle, Wojciech Mostowski