3742 search results - page 117 / 749 » On the Use of Formal Techniques for Validation |
169
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
191
click to vote
SLOGICA
1998
15 years 6 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
186
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
190
click to vote
CEC
2007
IEEE
16 years 21 days ago
2007
IEEE
—In this paper, an automatic segmentation technique of multispectral magnetic resonance image of the brain using a new fuzzy point symmetry based genetic clustering technique is ...
187
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...