7690 search results - page 258 / 1538 » On the semantics of informational independence |
150
click to vote
ICWE
2003
Springer
15 years 11 months ago
2003
Springer
The Web is mainly processed by humans. The role of the machines is just to transmit and display the contents of the documents, barely being able to do something else. Nowadays ther...
161
click to vote
LREC
2008
15 years 8 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...
151
click to vote
PDPTA
2003
15 years 8 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 ...
181
click to vote
ROOM
2000
15 years 8 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 ...
142
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...