2687 search results - page 362 / 538 » Formal Analysis of PKCS |
204
click to vote
LACL
2005
Springer
16 years 16 days 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...
173
click to vote
SOCO
2005
Springer
16 years 16 days 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...
180
click to vote
PASTE
2004
ACM
16 years 14 days 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...
199
click to vote
PASTE
2004
ACM
16 years 14 days 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...
207
Voted
ASWSD
2004
Springer
16 years 14 days 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...