5683 search results - page 223 / 1137 » Interactive Schedulability Analysis |
143
click to vote
HAIS
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a multi-agent system for security control on industrial environments. The system uses a set of wireless technologies and software agents which integrate reasoni...
250
click to vote
CHI
2009
ACM
15 years 6 months ago
2009
ACM
In this paper, we discuss the potential for effective representations of video data to aid analysis of large datasets of video clips and describe a prototype developed to explore ...
157
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Multiuser diversity (MUDiv) is one of the central concepts in multiuser (MU) systems. In particular, MUDiv allows for scheduling among users in order to eliminate the negative effe...
184
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
137
Voted
CHIMIT
2007
ACM
15 years 9 months ago
2007
ACM
poster we present several methods for abstracting data into information and then integrating and organizing it for the purpose of display. We use an example from analysis of pilot...