7080 search results - page 1025 / 1416 » Designing High Integrity Systems Using Aspects |
116
Voted
ETT
2002
15 years 4 months ago
2002
In this paper, both the concept and the demonstrator implementation of an advanced airport data link is described which is used for data exchange between pilots and controllers in ...
136
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
—Many modern software systems are designed to be highly configurable so they can run on and be optimized for a wide variety of platforms and usage scenarios. Testing such systems...
128
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
We present novel and efficient methods for on-line testing in FPGAs. The testing approach uses a ROving TEster (ROTE), which has provable diagnosabilities and is also faster than ...
157
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Design trade-offs between estimation performance, processing delay and communication cost for a sensor scheduling problem is discussed. We consider a heterogeneous sens...
120
click to vote
ECSCW
2007
15 years 6 months ago
2007
Always-on media spaces broadcast video between collaborators to provide mutual awareness and to encourage casual interaction. This video can be easily recorded on the fly as a vide...