1867 search results - page 57 / 374 » Model-Checking Based Data Retrieval |
108
click to vote
KBSE
1999
IEEE
15 years 4 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
SAC
2010
ACM
15 years 23 hour ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
126
click to vote
ESORICS
2011
Springer
13 years 11 months ago
2011
Springer
A common client-side countermeasure against Cross Site Request Forgery (CSRF) is to strip session and authentication information from malicious requests. The difficulty however is ...
147
click to vote
TOG
2012
13 years 2 months ago
2012
We develop a system for 3D object retrieval based on sketched feature lines as input. For objective evaluation, we collect a large number of query sketches from human users that a...