8056 search results - page 1163 / 1612 » Object Behavior Analysis |
174
click to vote
TACAS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
284
click to vote
VLSI
2007
Springer
16 years 28 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
168
click to vote
ACSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
Malicious mass-mailing activity on the Internet is a serious and continuing threat that includes mass-mailing worms, spam, and phishing. A mechanism commonly used to deliver such ...
177
click to vote
ASWEC
2006
IEEE
16 years 27 days ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
192
click to vote
COMPSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...