Sciweavers

3179 search results - page 38 / 636
» Applications of PCF Theory
Sort
View
JFP
2008
61views more  JFP 2008»
13 years 8 months ago
Control reduction theories: the benefit of structural substitution
The historical design of the call-by-value theory of control relies on the reification of evaluation contexts as regular functions and on the use of ordinary term application for ...
Zena M. Ariola, Hugo Herbelin
ECIS
2003
13 years 10 months ago
A qualitative approach to investigating the behavioural definitions of the four-paradigm theory of information systems developme
Hirschheim, Klein and Lyytinen introduced the four-paradigm theory of information systems development (ISD) as a significant attempt to systematise developer assumptions. The theo...
Donal J. Flynn, Zahid I. Hussain
TSP
2008
89views more  TSP 2008»
13 years 8 months ago
The Theory of Quaternion Orthogonal Designs
Over the past several years, there has been a renewed interest in complex orthogonal designs for their application in space-time block coding. Motivated by the success of this app...
Jennifer Seberry, Ken Finlayson, Sarah Spence Adam...
DEBS
2007
ACM
14 years 19 days ago
Towards a theory of events
Event-driven systems are used in a wide range of applications such as responding to missile attacks, interdicting potential terrorists, exploiting arbitrage opportunities and resp...
K. Mani Chandy, Michel Charpentier, Agostino Cappo...
ISMB
1996
13 years 10 months ago
The Mathematical Model of Subtractive Hybridization and Its Practical Application
A novel theory of subtractive hybridization including (or based on) the kinetic model of this process was proposed. A computer program modeling the process of subtraction wasdevel...
Olga D. Ermolaeva, Sergey A. Lukyanov, Eugene D. S...