2838 search results - page 355 / 568 » Verifying Controlled Components |
ACSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
155
click to vote
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
103
Voted
JCIT
2010
14 years 7 months ago
2010
In peer-to-peer networks, it is very difficult to route query successfully, since nodes in the routing path do not always behave according to pre-established routing protocols. To...
154
Voted
SCP
2010
14 years 7 months ago
2010
We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the ...
134
Voted
TCOM
2010
14 years 7 months ago
2010
Abstract--Arbitration and scheduling of multiple tags in stateof-the-art Radio Frequency Identification (RFID) systems is accomplished on the medium access control layer. Currently...