8587 search results - page 115 / 1718 » Interactive dynamic abstraction |
COORDINATION
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
FORTE
2007
13 years 11 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
ICONIP
2008
13 years 11 months ago
2008
Abstract. We study synchronization phenomena in a pair of integrateand-fire (IF) oscillators with the width of an action potential. They have slightly different periodic firings ea...
IWEC
2004
13 years 11 months ago
2004
Abstract. This paper suggests a method to synthesize a long background music sequence from a given short music clip in real-time. The copies of input clip are placed with overlappe...
SFP
2003
13 years 11 months ago
2003
Abstract: Mobile computation enables computations to move between a dynamic set of locations, and is becoming an increasingly important paradigm. mHaskell is an extension of Haskel...