Sciweavers

2192 search results - page 242 / 439
» Embedded function composition
Sort
View
JSW
2008
105views more  JSW 2008»
13 years 10 months ago
Formal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
Chunhua Yang, Haiyang Wang
JSW
2006
82views more  JSW 2006»
13 years 10 months ago
Incremental Implementation of Syntax Driven Logics
Abstract-- This paper describes a technique combining higher order functions, algebraic datatypes, and monads to incrementally implement syntax driven logics. Extensions can be com...
Ignatius Sri Wishnu Brata Prasetya, A. Azurat, Tan...
NAR
2006
107views more  NAR 2006»
13 years 10 months ago
CorGen - measuring and generating long-range correlations for DNA sequence analysis
CorGen is a web server that measures long-range correlations in the base composition of DNA and generates random sequences with the same correlation parameters. Long-range correla...
Philipp W. Messer, Peter F. Arndt
SCP
2008
89views more  SCP 2008»
13 years 10 months ago
A challenge for atomicity verification
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
Wim H. Hesselink
TCBB
2008
138views more  TCBB 2008»
13 years 10 months ago
PairProSVM: Protein Subcellular Localization Based on Local Pairwise Profile Alignment and SVM
The subcellular locations of proteins are important functional annotations. An effective and reliable subcellular localization method is necessary for proteomics research. This pap...
Man-Wai Mak, Jian Guo, Sun-Yuan Kung