1541 search results - page 143 / 309 » Tools and Techniques for Model Checking Networked Programs |
136
click to vote
EOR
2008
15 years 4 months ago
2008
The Cooperative Water Allocation Model (CWAM) is designed within a general mathematical programming framework for modeling equitable and efficient water allocation among competing...
152
click to vote
NDSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
128
click to vote
ECSA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
125
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
134
click to vote
BIB
2006
15 years 4 months ago
2006
This article is a critical review of computational techniques used to model, analyse and simulate signalling networks. We propose a conceptual framework, and discuss the role of s...