3130 search results - page 288 / 626 » Design Correctness of Digital Systems |
187
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...
184
click to vote
DSONLINE
2008
15 years 6 months ago
2008
Ubiquitous applications are characterised by variations of their execution context. Their correct operation requires some continual adaptations based on the observation of their e...
200
click to vote
MM
2004
ACM
16 years 3 days ago
2004
ACM
We present a design for recapitulating walks through Dublin's City Centre by characters in James Joyce's Ulysses. Our computationally supported walkers will avail themse...
167
click to vote
IPSN
2010
Springer
16 years 1 months ago
2010
Springer
The need for high-frequency signal acquisition and processing is becoming increasingly prevalent in sensor networks. Applications that require high-frequency data sampling are pre...
163
click to vote
CASCON
2007
15 years 8 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...