1147 search results - page 122 / 230 » Termination in language-based systems |
127
Voted
ICC
2009
IEEE
14 years 10 months ago
2009
IEEE
In this paper, we model the hierarchical structures inherent in cognitive radio networks as the priority queueing system in which primary users interact with the highest priority a...
105
click to vote
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
We consider an agent-target assignment problem in an unknown environment modeled as an undirected graph. Agents do not know this graph or the locations of the targets on it. Howeve...
127
click to vote
SOCO
2007
Springer
15 years 6 months ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
114
Voted
JUCS
2007
15 years 19 days ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
99
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Deeply embedded infrastructures are pervasive systems that have significant cyber and physical components, interacting with each other in complex ways. These interactions can vio...