240 search results - page 28 / 48 » A Typed Calculus of Synchronous Processes |
JFP
2006
13 years 9 months ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
MM
2006
ACM
14 years 3 months ago
2006
ACM
We present a framework to synchronize pop music to corresponding text lyric. We refine line level alignment achievable by existing work to syllabic level by using a dynamic progra...
PERVASIVE
2005
Springer
14 years 2 months ago
2005
Springer
The retail store environment is a challenging application area for Pervasive Computing technologies. It has demanding base conditions due to the number and complexity of the interd...
ADVCS
2007
13 years 9 months ago
2007
Cellular learning automata is a combination of learning automata and cellular automata. This model is superior to cellular learning automata because of its ability to learn and als...
JPDC
2010
13 years 7 months ago
2010
This article deals with stabilization and fault-tolerance. We consider two types of stabilization: the self- and the pseudo- stabilization. Our goal is to implement the self- and/...