Sciweavers

1626 search results - page 59 / 326
» Computing the Types of the Relationships between Autonomous ...
Sort
View
TGC
2005
Springer
15 years 11 months ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...
ISCC
2007
IEEE
100views Communications» more  ISCC 2007»
15 years 11 months ago
A Caching Algorithm using Evolutionary Game Theory in a File-Sharing System
In a P2P file-sharing system, a node finds and retrieves its desired file. If multiple nodes cache the same file to provide others, we can achieve a file-sharing system with ...
Masahiro Sasabe, Naoki Wakamiya, Masayuki Murata
FCT
2005
Springer
15 years 11 months ago
Leftist Grammars and the Chomsky Hierarchy
Leftist grammars can be characterized in terms of rules of the form a → ba and cd → d, without distinction between terminals and nonterminals. They were introduced by Motwani e...
Tomasz Jurdzinski, Krzysztof Lorys
PLPV
2009
ACM
16 years 2 months ago
Positively dependent types
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
Daniel R. Licata, Robert Harper
BMCBI
2008
149views more  BMCBI 2008»
15 years 5 months ago
Evolution of biological sequences implies an extreme value distribution of type I for both global and local pairwise alignment s
Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...
Olivier Bastien, Eric Maréchal