111 search results - page 2 / 23 » Run-Time Verification of Networked Software |
CBSE
2004
Springer
13 years 10 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
ICWN
2004
13 years 6 months ago
2004
Abstract-- In the proxy approach to Service Oriented Computing, a service advertises a proxy, which is searched for, retrieved and used by interested clients as a local handle to t...
LCR
2000
Springer
13 years 8 months ago
2000
Springer
By definition, a heavyweight network service requires a significant amount of computation to complete its task. Providing a heavyweight service is challenging for a number of reaso...
MMMACNS
2005
Springer
13 years 10 months ago
2005
Springer
This paper describes a novel approach for preventative protection from both known and previously unknown malicious software. It does not rely on screening the code for signatures ...
SENSYS
2009
ACM
13 years 11 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...