4211 search results - page 93 / 843 » A formal approach to MASQ |
106
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
108
Voted
ETFA
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
89
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
84
Voted
ICCSA
2005
Springer
15 years 6 months ago
2005
Springer
Recently, Nenadi´c et al. (2004) proposed the RSA-CEGD protocol for certified delivery of e-goods. This is a relatively complex scheme based on verifiable and recoverable encryp...
114
click to vote
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...