1915 search results - page 205 / 383 » A language for functional interpretation of model based simu... |
167
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
175
click to vote
ACTA
2010
15 years 6 months ago
2010
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...
155
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
—Considering user behaviors in the performance evaluation of mobile networks is crucial as traffic generation in such networks is highly dependent on mobility and communication a...
168
click to vote
IAT
2007
IEEE
16 years 24 days ago
2007
IEEE
Emotion regulation describes how a subject can use certain strategies to affect emotion response levels. Usually, models for emotion regulation assume mechanisms based on feedback ...
185
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this paper, we present a new spectrum-hole prediction model for cognitive radio (CR) systems based on the IEEE 802.11 wireless local areas networks. We have also analyzed the...