1613 search results - page 182 / 323 » Model-Driven Constraint Engineering |
166
click to vote
COMPSAC
2010
IEEE
15 years 25 days ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
172
click to vote
AMAST
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
145
click to vote
TASLP
2011
14 years 11 months ago
2011
—Time-domain algorithms for blind separation of audio sources can be classified as being based either on a partial or complete decomposition of an observation space. The decompo...
149
click to vote
VLSI
2010
Springer
14 years 10 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
161
click to vote
ICST
2011
IEEE
14 years 7 months ago
2011
IEEE
User input validation is a technique to counter attacks on web applications. In typical client-server architectures, this validation is performed on the client side. This is ineff...