598 search results - page 64 / 120 » Independence Semantics for BKBs |
209
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
124
Voted
LREC
2008
15 years 5 months ago
2008
This paper presents the process of acquiring a large, domain independent, taxonomy from the German Wikipedia. We build upon a previously implemented platform that extracts a seman...
114
Voted
PDPTA
2003
15 years 5 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
129
Voted
ROOM
2000
15 years 5 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...
125
Voted
LICS
1989
IEEE
15 years 7 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...