4029 search results - page 653 / 806 » Reconfigurable Systems in Education |
212
click to vote
CORR
2009
Springer
15 years 5 months ago
2009
Springer
We equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) "boxes&quo...
250
click to vote
CORR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
189
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper asks a new question: how can we control the collective behavior of self-organized multi-agent systems? We try to answer the question by proposing a new notion called `So...
233
click to vote
WWW
2011
ACM
15 years 2 months ago
2011
ACM
This paper presents a system for enabling offline web use to satisfy the information needs of disconnected communities. We describe the design, implementation, evaluation, and pil...
300
click to vote
IHI
2012
14 years 2 months ago
2012
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...