Sciweavers

1950 search results - page 53 / 390
» Lambda-Free Logical Frameworks
Sort
View
CEEMAS
2007
Springer
15 years 4 months ago
An Architecture and Framework for Agent-Based Web Applications
The construction of web applications is a complex task as different kinds of technologies need to be integrated. To ease the task of developing web applications many different we...
Alexander Pokahr, Lars Braubach
CCS
2005
ACM
15 years 3 months ago
The framework of selective interleaving functions and the modular assembly kit
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
Heiko Mantel
CADE
2008
Springer
15 years 10 months ago
A Small Framework for Proof Checking
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
Hans de Nivelle, Piotr Witkowski
WILF
2007
Springer
127views Fuzzy Logic» more  WILF 2007»
15 years 4 months ago
Unsupervised Haplotype Reconstruction and LD Blocks Discovery in a Hidden Markov Framework
In the last years haplotype reconstruction and haplotype blocks discovery, i.e., the estimation of patterns of linkage disequilibrium (LD) in the haplotypes, riveted the attention ...
Alessandro Perina, Marco Cristani, Giovanni Malerb...
COMPSAC
2003
IEEE
15 years 3 months ago
A Security Characterisation Framework for Trustworthy Component Based Software Systems
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
Khaled M. Khan, Jun Han