ENTCS 2006 | Sciweavers

25

click to vote

ENTCS
2006

108views more ENTCS 2006»

On the Use of Singular Value Decomposition for a Fast Intrusion Detection System

13 years 11 months ago

Download www.jos.org.cn

Sanjay Rawat, Arun K. Pujari, Ved Prakash Gulati

claim paper

Read More »

42

click to vote

ENTCS
2006

159views more ENTCS 2006»

Approximations of Modal Logic K

13 years 11 months ago

Download www.ime.usp.br

Inspired by the recent work on approximating classical logic, we present a procedure that approximates the modal logic K by determining a maximum limit of introspection. This proc...

Guilherme de Souza Rabello, Marcelo Finger

claim paper

Read More »

29

click to vote

ENTCS
2006

80views more ENTCS 2006»

Synchronisation in Trust Management Using Push Authorisation

13 years 11 months ago

Download www.cs.ucc.ie

Traditional trust management authorisation decisions for distributed technologies, are, in general, based on the history of the authorisations/computation to date. We consider thi...

Thomas B. Quillinan, Simon N. Foley

claim paper

Read More »

32

click to vote

ENTCS
2006

126views more ENTCS 2006»

An Applicative Control-Flow Graph Based on Huet's Zipper

13 years 11 months ago

Download www.cs.tufts.edu

We are using ML to build a compiler that does low-level optimization. To support optimizations in classic imperative style, we built a control-flow graph using mutable pointers an...

Norman Ramsey, João Dias

claim paper

Read More »

33

click to vote

ENTCS
2006

125views more ENTCS 2006»

ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter

13 years 11 months ago

Download www.cs.tufts.edu

Norman Ramsey

claim paper

Read More »

38

click to vote

ENTCS
2006

148views more ENTCS 2006»

Towards the Semantics and Verification of BPEL4WS

13 years 11 months ago

Download www.is.pku.edu.cn

Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...

Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan ...

claim paper

Read More »

37

click to vote

ENTCS
2006

114views more ENTCS 2006»

Towards Efficient, Typed LR Parsers

13 years 11 months ago

Download cristal.inria.fr

The LR parser generators that are bundled with many functional programming language implementations produce code that is untyped, needlessly inefficient, or both. We show that, us...

François Pottier, Yann Régis-Gianas

claim paper

Read More »

17

click to vote

ENTCS
2006

107views more ENTCS 2006»

Monitoring Interfaces for Faults

13 years 11 months ago

Download cs.nyu.edu

Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck

claim paper