7189 search results - page 1031 / 1438 » Connecting Design with Code |
222
click to vote
EWC
2010
15 years 6 months ago
2010
When dealing with computationally expensive simulation codes or process measurement data, surrogate modeling methods are firmly established as facilitators for design space explor...
195
click to vote
IJMI
2010
15 years 6 months ago
2010
In this paper, we discuss how profiles of communicative behaviour can be used to present and analyse information about role activity recorded through structured observation of spec...
210
click to vote
KBSE
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
216
click to vote
RAID
2010
Springer
15 years 6 months ago
2010
Springer
Malicious software includes functionality designed to block discovery or analysis by defensive utilities. To prevent correct attribution of undesirable behaviors to the malware, it...
191
click to vote
TCS
2010
15 years 6 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...