Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ENTCS
2006
108views more  ENTCS 2006»
10 years 12 months ago
On the Use of Singular Value Decomposition for a Fast Intrusion Detection System
Sanjay Rawat, Arun K. Pujari, Ved Prakash Gulati
ENTCS
2006
159views more  ENTCS 2006»
10 years 12 months ago
Approximations of Modal Logic K
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
ENTCS
2006
80views more  ENTCS 2006»
10 years 12 months ago
Synchronisation in Trust Management Using Push Authorisation
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
ENTCS
2006
126views more  ENTCS 2006»
10 years 12 months ago
An Applicative Control-Flow Graph Based on Huet's Zipper
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
ENTCS
2006
148views more  ENTCS 2006»
10 years 12 months ago
Towards the Semantics and Verification of BPEL4WS
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 ...
ENTCS
2006
114views more  ENTCS 2006»
10 years 12 months ago
Towards Efficient, Typed LR Parsers
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
ENTCS
2006
107views more  ENTCS 2006»
10 years 12 months ago
Monitoring Interfaces for Faults
Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck
ENTCS
2006
88views more  ENTCS 2006»
10 years 12 months ago
On Reversible Combinatory Logic
The -calculus is destructive: its main computational mechanism
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ENTCS
2006
112views more  ENTCS 2006»
10 years 12 months ago
Mobile Agents in Interaction Spaces
Frédéric Peschanski
books