6794 search results - page 1121 / 1359 » Semantics of Visual Languages |
146
click to vote
ENTCS
2010
15 years 4 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
128
click to vote
JAR
2008
15 years 4 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
117
click to vote
JAR
2008
15 years 4 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
125
click to vote
JCP
2008
15 years 4 months ago
2008
The word over, among others, is associated with a great variety of syntactic categories and meanings. Although over has received attention from scholars in different frameworks for...
144
click to vote
JAIR
2006
15 years 4 months ago
2006
We present a novel framework for integrating prior knowledge into discriminative classifiers. Our framework allows discriminative classifiers such as Support Vector Machines (SVMs...