Sciweavers

6141 search results - page 909 / 1229
» Models and representation of their ownership
Sort
View
FSTTCS
2006
Springer
15 years 10 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
GECCO
2006
Springer
145views Optimization» more  GECCO 2006»
15 years 10 months ago
Immune anomaly detection enhanced with evolutionary paradigms
The paper presents an approach based on principles of immune systems to the anomaly detection problem. Flexibility and efficiency of the anomaly detection system are achieved by b...
Marek Ostaszewski, Franciszek Seredynski, Pascal B...
APSEC
2001
IEEE
15 years 10 months ago
A Framework for Migrating Procedural Code to Object-Oriented Platforms
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...
Ying Zou, Kostas Kontogiannis
ESOP
2000
Springer
15 years 10 months ago
A Calculus for Compiling and Linking Classes
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
Kathleen Fisher, John H. Reppy, Jon G. Riecke
ICC
1997
IEEE
108views Communications» more  ICC 1997»
15 years 10 months ago
MLSE Receiver for the Dispersive Rayleigh Fading Channel
: A maximum likelihood sequence estimator for the dispersive Rayleigh fading channel is developed. Following [1, 2], the MLSE uses a Kalman based channel estimator to acquire the c...
Wing Seng Leon, Desmond P. Taylor