Sciweavers

2340 search results - page 84 / 468
» Data abstraction and information hiding
Sort
View
ESOP
2010
Springer
15 years 7 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
CAISE
2003
Springer
15 years 3 months ago
Building a Collaborative Information Agent in a HomeBot Application
Abstract Information agents are cooperative agents whose main goal is to collaborate and assist task agents like mobile agents in obtaining information from heterogeneous data sour...
Lito Perez Cruz, Arkady B. Zaslavsky, David Squire
IDEAS
2009
IEEE
104views Database» more  IDEAS 2009»
15 years 4 months ago
An organizational file permission management system using the cellular data system
In designing dynamic situations such as cyberworlds, we the Incrementally Modular Abstraction Hierarchy (IMAH) to be an appropriate mathematical background to model dynamically ch...
Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki
MSS
2000
IEEE
182views Hardware» more  MSS 2000»
15 years 2 months ago
A Blueprint for Representation Information in the OAIS Model
The CEDARS∗ project within UK academia seeks to develop a demonstrator system to recommend techniques for long-term storage of digital data primarily within the research library...
David Holdsworth, Derek M. Sergeant
HCSE
2010
14 years 8 months ago
Model-Based Design and Implementation of Interactive Spaces for Information Interaction
Abstract. Interactive spaces with multiple networked devices and interactive surfaces are an effective means to support multi-user collocated collaboration. In these spaces, surfa...
Hans-Christian Jetter, Jens Gerken, Michael Zö...