Sciweavers

4280 search results - page 109 / 856
» Mechanisms for information elicitation
Sort
View
JOT
2010
142views more  JOT 2010»
15 years 4 months ago
On Differencing Object-Oriented Formal Specifications
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah
CSFW
2003
IEEE
15 years 11 months ago
Using Access Control for Secure Information Flow in a Java-like Language
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...
Anindya Banerjee, David A. Naumann
ECAL
2007
Springer
15 years 10 months ago
Constructing the Basic Umwelt of Artificial Agents: An Information-Theoretic Approach
Abstract. In the context of situated and embodied cognition, we evaluate an information-theoretic approach to the construction of the Umwelt of an artificial agent. We make the ass...
Philippe Capdepuy, Daniel Polani, Chrystopher L. N...
ESWA
2006
84views more  ESWA 2006»
15 years 6 months ago
Mining protein-protein interaction information on the internet
In this study, a mining system is proposed for finding protein
Hsi-Chieh Lee, Szu-Wei Huang, Eldon Y. Li
CSFW
2009
IEEE
16 years 1 months ago
Tight Enforcement of Information-Release Policies for Dynamic Languages
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
Aslan Askarov, Andrei Sabelfeld