Sciweavers

23036 search results - page 264 / 4608
» Sketching informal presentations
Sort
View
SAS
2004
Springer
132views Formal Methods» more  SAS 2004»
16 years 1 days ago
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
Qi Sun, Anindya Banerjee, David A. Naumann
CA
2000
IEEE
15 years 11 months ago
Virtual Humans Animation in Informed Urban Environments
In order to populate virtual cities, it is necessary to specify the behaviour of dynamic entities such as pedestrians or car drivers. Since it is not possible to construct in real...
Gwenola Thomas, Stéphane Donikian
AGENTS
2000
Springer
15 years 11 months ago
SIAS: a secure shopping information agent system
In this paper, we build a Shopping Information Agent System (SIAS) based on mobile agent technology. We discuss possible security attacks by malicious hosts to agents in the syste...
Anthony H. W. Chan, Tsz Yeung Wong, Caris K. M. Wo...
151
Voted
DEXAW
1999
IEEE
95views Database» more  DEXAW 1999»
15 years 11 months ago
An XML-Based, 3-Tier Scheme for Integrating Heterogeneous Information Sources to the WWW
The phenomenal growth that the WWW currently experiences necessitates the integration of various types of information sources to its platform. We present an open, extensible multi...
Costas Petrou, Stathes Hadjiefthymiades, Drakoulis...
ICIP
1998
IEEE
15 years 11 months ago
Video Object Segmentation Introducing Depth and Motion Information
In the paper we present a method to estimate relative depth between objects in scenes of video sequences. The information for the estimation of the relative depth is obtained from...
Montse Pardàs