1054 search results - page 83 / 211 » From a Verified Kernel towards Verified Systems |
147
click to vote
IEEEARES
2007
IEEE
16 years 15 days ago
2007
IEEE
The formidable difficulty in securing systems stems in large part from the increasing complexity of the systems we build but also the degree to which we now depend on information ...
166
click to vote
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
The limitation of network resource reduces the awareness capability of CVE system, which becomes the main bottleneck for applications in Internet. In this paper, we study the relat...
191
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
135
click to vote
DATE
2007
IEEE
16 years 16 days ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
142
click to vote
BPM
2004
Springer
15 years 11 months ago
2004
Springer
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...