3342 search results - page 155 / 669 » Automating Abstract Interpretation |
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
113
click to vote
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—The demand for embedded computing power is continuously increasing and FPGAs are becoming very interesting computing platforms, as they provide huge amounts of customiza...
IAT
2009
IEEE
15 years 6 months ago
2009
IEEE
Multi-agent systems (MAS) is an accepted paradigm in safety-critical systems, like the production automation. Agents control the underlying machinery they are representing and int...
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
ICEIS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. We describe our approach to support ongoing meetings with an automated meeting assistant. The system based on the AMIDA Content Linking Device aims at providing relevant ...