25111 search results - page 4659 / 5023 » Information Systems |
207
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
192
click to vote
TRIDENTCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Quality of Experience (QoE) is the subjective judgment of the satisfaction an end user perceives from an application running over a given network topology and configuration. The in...
202
click to vote
UIST
2010
ACM
15 years 5 months ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...
235
click to vote
UIST
2010
ACM
15 years 5 months ago
2010
ACM
We present Gestalt, a development environment designed to support the process of applying machine learning. While traditional programming environments focus on source code, we exp...
234
click to vote
WCET
2010
15 years 5 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...