Sciweavers

4806 search results - page 819 / 962
» Interactive uncertainty analysis
Sort
View
CSFW
2004
IEEE
15 years 9 months ago
Secure Information Flow by Self-Composition
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk
EDOC
2004
IEEE
15 years 9 months ago
A Framework for Integrating Business Processes and Business Requirements
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...
Raman Kazhamiakin, Marco Pistore, Marco Roveri
CLEF
2006
Springer
15 years 9 months ago
Providing Multilingual Access to FLICKR for Arabic Users
In this paper we describe our submission for iCLEF2006: an interface that allows users to search FLICKR in Arabic for images with captions in a range of languages. We report and di...
Paul Clough, Azzah Al-Maskari, Kareem Darwish
CP
2006
Springer
15 years 9 months ago
Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs
This paper describes a complete and efficient solution to the stochastic allocation and scheduling for Multi-Processor System-on-Chip (MPSoC). Given a conditional task graph charac...
Michele Lombardi, Michela Milano
AUSDM
2006
Springer
144views Data Mining» more  AUSDM 2006»
15 years 9 months ago
Mining Quantitative Association Rules in Protein Sequences
Abstract. Lot of research has gone into understanding the composition and nature of proteins, still many things remain to be understood satisfactorily. It is now generally believed...
Nitin Gupta, Nitin Mangal, Kamal Tiwari, Pabitra M...