Sciweavers

864 search results - page 114 / 173
» codes 2003
Sort
View
99
Voted
ICCSA
2003
Springer
15 years 5 months ago
Coupling Tangent-Linear and Adjoint Models
Abstract. We consider the solution of a (generalized) eigenvalue problem arising in physical oceanography that involves the evaluation of both the tangent-linear and adjoint versio...
Uwe Naumann, Patrick Heimbach
98
Voted
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
15 years 5 months ago
With-Loop Scalarization - Merging Nested Array Operations
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
97
Voted
IICS
2003
Springer
15 years 5 months ago
Message-Oriented-Middleware in a Distributed Environment
Middleware technologies have been facilitating the communication between the distributed applications. Traditional messaging system’s are synchronous and have inherent weaknesses...
Sushant Goel, Hema Sharda, David Taniar
113
Voted
IPSN
2003
Springer
15 years 5 months ago
A Performance Evaluation of Intrusion-Tolerant Routing in Wireless Sensor Networks
Abstract. This paper evaluates the performance of INSENS, an INtrusion-tolerant routing protocol for wireless SEnsor Networks. Security in sensor networks is important in battlefi...
Jing Deng, Richard Han, Shivakant Mishra
101
Voted
AUSAI
2003
Springer
15 years 4 months ago
Token Identification Using HMM and PPM Models
Hidden markov models (HMMs) and prediction by partial matching models (PPM) have been successfully used in language processing tasks including learning-based token identification. ...
Yingying Wen, Ian H. Witten, Dianhui Wang