1163 search results - page 199 / 233 » Case Studies of Model Checking for Embedded System Designs |
110
click to vote
EL
2008
15 years 2 months ago
2008
Purpose: Examines the needs of digital library stakeholders and how a collaborative digital library might be designed to meet these needs. The collaborative digital library has be...
130
click to vote
SACI
2007
IEEE
15 years 8 months ago
2007
IEEE
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...
102
click to vote
PODC
2009
ACM
16 years 2 months ago
2009
ACM
In this work we define and study a new model for the caching problem in a heterogeneous wireless network under a flash-crowd scenario. Using non-cooperative game theory, we cast t...
106
click to vote
CORR
2010
Springer
15 years 15 days ago
2010
Springer
—We study the problem of scheduling periodic real-time tasks which have individual minimum reward requirements. We consider situations where tasks generate jobs that can be provi...
ACMDIS
2008
ACM
15 years 4 months ago
2008
ACM
True multi-user, multimodal interaction over a digital table lets co-located people simultaneously gesture and speak commands to control an application. We explore this design spa...