3256 search results - page 372 / 652 » Applications of Formal Methods to System Design and Verifica... |
153
Voted
SAS
2007
Springer
16 years 22 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
170
click to vote
DIMVA
2010
15 years 4 months ago
2010
Since most current network attacks happen at the application layer, analysis of packet payload is necessary for their detection. Unfortunately malicious packets may be crafted to m...
177
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
167
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
171
click to vote
CODES
2007
IEEE
16 years 29 days ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...