2171 search results - page 255 / 435 » Cooperative Validation in Distributed Control Systems Design |
141
click to vote
SIGMOD
2003
ACM
16 years 5 months ago
2003
ACM
We discuss the design of an acquisitional query processor for data collection in sensor networks. Acquisitional issues are those that pertain to where, when, and how often data is...
153
click to vote
ICDCSW
2009
IEEE
16 years 7 days ago
2009
IEEE
We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model supports a co-design approach for ...
176
click to vote
AIEDU
2005
15 years 5 months ago
2005
This paper describes the design and empirical validation of three distinct pedagogical agent roles (Expert, Motivator, and Mentor) for college students within the MIMIC (Multiple I...
165
click to vote
IEEEPACT
2009
IEEE
16 years 7 days ago
2009
IEEE
Translation Lookaside Buffers (TLBs) are a staple in modern computer systems and have a significant impact on overall system performance. Numerous prior studies have addressed TL...
147
click to vote
IEEESCC
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...