2687 search results - page 362 / 538 » Formal Analysis of PKCS |
181
click to vote
LACL
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...
156
click to vote
SOCO
2005
Springer
16 years 9 hour ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
160
click to vote
PASTE
2004
ACM
15 years 12 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
183
click to vote
PASTE
2004
ACM
15 years 12 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
190
click to vote
ASWSD
2004
Springer
15 years 12 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...