452 search results - page 90 / 91 » Symbolic Execution of Behavioral Requirements |
101
click to vote
CASES
2008
ACM
15 years 19 days ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
101
click to vote
ECSA
2010
Springer
14 years 10 months ago
2010
Springer
In the software domain, self-adaptive systems are able to modify their behavior at run-time to respond to changes in the environment they run, to changes of the users' require...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Aggregation is an important building block of modern distributed applications, allowing the determination of meaningful properties (e.g. network size, total storage capac...
100
click to vote
ICDE
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract— We propose the Multi-resolution Correlation Cluster detection (MrCC), a novel, scalable method to detect correlation clusters able to analyze dimensional data in the ra...
101
click to vote
CCS
2010
ACM
14 years 8 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...