1722 search results - page 244 / 345 » Ontology Formalism Transformation |
105
click to vote
CCS
2003
ACM
15 years 4 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
73
Voted
SAS
2001
Springer
15 years 3 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
100
click to vote
ENTCS
2007
14 years 11 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
132
Voted
TKDE
2012
13 years 1 months ago
2012
—This paper considers a cloud computing setting in which similarity querying of metric data is outsourced to a service provider. The data is to be revealed only to trusted users,...
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...