Sciweavers

1515 search results - page 122 / 303
» Information Integration: Conceptual Modeling and Reasoning S...
Sort
View
CORR
2008
Springer
143views Education» more  CORR 2008»
14 years 10 months ago
A Type System for Data-Flow Integrity on Windows Vista
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
PLDI
2009
ACM
15 years 4 months ago
A language for information flow: dynamic tracking in multiple interdependent dimensions
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
Avraham Shinnar, Marco Pistoia, Anindya Banerjee
SAFECOMP
2001
Springer
15 years 2 months ago
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
Mohamed Kaâniche, Yannick Le Guédart,...
ICEIS
2002
IEEE
15 years 2 months ago
Integrating Mobile Agent Infrastructures in Operational ERP Systems
: In this paper we present our most recent work carried out in the wider context of the IST-ADRENALIN project, to facilitate formation and lifecycle management of networked enterpr...
Apostolos Vontas, Philippos Koutsakas, Christina A...
ECIS
2003
14 years 11 months ago
Assessing web-based electronic services adoption model (E-SAM)
Web-based electronic service (e-service) end-user adoption and implementation requires an assessment of consumer contextual factors. This paper investigates factors which affect e...
Kamaljeet Sandhu, Brian J. Corbitt