25218 search results - page 161 / 5044 » A Logic-Based Information System |
144
click to vote
TACAS
2010
Springer
16 years 11 days ago
2010
Springer
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
153
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
142
click to vote
CONTEXT
2001
Springer
15 years 10 months ago
2001
Springer
This paper discusses the use of contextual reasoning, i.e. context transformation for achieving semantic interoperability in heterogeneous information systems. We introduce termino...
167
click to vote
WECWIS
1999
IEEE
15 years 9 months ago
1999
IEEE
All the specialists have agreed that the possibility of adding to multimedia WWW objects some sort of `conceptual' annotations describing their information content would grea...
160
click to vote
WECWIS
1999
IEEE
15 years 9 months ago
1999
IEEE
We present an advanced multimedia infrastructure that integrates continuous real-time media streams within the WWW. This new service architecture focuses on advanced facilities fo...