237 search results - page 13 / 48 » Ensuring Correctness at the Application Level: a Software Fr... |
ICSE
2004
IEEE-ACM
14 years 6 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
REALWSN
2010
13 years 1 months ago
2010
Pre-deployment tests of sensor networks in indoor testbeds can only deliver a very approximate view of the correctness and performance of a deployed sensor network and it is theref...
CODES
1999
IEEE
13 years 11 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
ATAL
2008
Springer
13 years 8 months ago
2008
Springer
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
ICPP
2002
IEEE
13 years 11 months ago
2002
IEEE
As organizations begin to deploy large computational grids, it has become apparent that systems for observation and control of the resources, services, and applications that make ...