67 search results - page 4 / 14 » Semantically Enhanced Containers for Concurrent Real-Time Sy... |
CEEMAS
2003
Springer
14 years 21 days ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
—A generic approach that allows extracting functional nonlinear dependencies and mappings between atmospheric or ocean state variables in a relatively simple form is presented. T...
NETWORK
2008
13 years 7 months ago
2008
Consider a scenario where Jane is at an airport. She wants to find a restaurant with healthy food and short waiting time on the way to her terminal. The airport can provide such s...
COORDINATION
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
PERCOM
2003
ACM
14 years 7 months ago
2003
ACM
: This paper presents the initial design and performance study of MACA-P, a RTS/CTS based MAC protocol that enables simultaneous transmissions in multihop ad-hoc wireless networks....