24 search results - page 3 / 5 » The MSO Theory of Connectedly Communicating Processes |
HYBRID
2009
Springer
14 years 1 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Wireless topology control is the process of structuring the connectivity between network nodes to achieve some network-wide goal. This paper presents a cognitive networ...
ENTCS
2008
13 years 7 months ago
2008
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
INFOCOM
2005
IEEE
14 years 16 days ago
2005
IEEE
— This paper addresses the topology control problem for large wireless networks that are modelled by an infinite point process on a two-dimensional plane. Topology control is th...
AI
2005
Springer
13 years 6 months ago
2005
Springer
A theoretical framework for grounding language is introduced that provides a computational path from sensing and motor action to words and speech acts. The approach combines conce...