7690 search results - page 184 / 1538 » On the semantics of informational independence |
175
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
154
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
The Semantic Web Initiative envisions a Web wherein information is offered free of presentation, allowing more effective exchange and mixing across web sites and across web pages. ...
197
click to vote
ACMSE
2009
ACM
15 years 4 months ago
2009
ACM
It is getting harder to extract useful information from the enormous amount of data that is being collected in the medical information systems or eHealth systems due to the distri...
146
click to vote
SIGDOC
2009
ACM
16 years 29 days ago
2009
ACM
In this paper we analyze the problem of “situating explanations” in user assistance systems. We introduce semantic transparency as a user interface property that enables givin...
142
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...