6527 search results - page 265 / 1306 » On Typing Information Flow |
179
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
Pervasive computing environments offer a multitude of information services that provide potentially complex types of information. Therefore, when running access control for sensit...
164
click to vote
ALT
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. A variant of iterative learning in the limit (cf. [LZ96]) is studied when a learner gets negative examples refuting conjectures containing data in excess of the target la...
124
click to vote
IWPC
2008
IEEE
16 years 1 months ago
2008
IEEE
Developers rely on the mechanisms provided by their IDE to browse and navigate a large software system. These mechanisms are usually based purely on a system’s static source cod...
183
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
Crime on the Internet has become a formidable challenge for university information technology and student judicial systems. The nature of university computing requires a relativel...
183
click to vote
IJCAI
1997
15 years 8 months ago
1997
A semi-structured information space consists of multiple collections of textual documents containing fielded or tagged sections. The space can be highly heterogeneous, because eac...