1757 search results - page 134 / 352 » Alternating Refinement Relations |
110
click to vote
ADT
2008
15 years 3 months ago
2008
By range-free localization, the positions of a mobile device can be limited to the coverage area of a radio access network cell. The drawback of such approach is the coarseness of ...
122
click to vote
AEI
2010
15 years 3 months ago
2010
The CoSy Architecture Schema Toolkit (CAST) is a new software toolkit, and related processing paradigm, which supports the construction and exploration of information-processing a...
108
Voted
AML
2010
15 years 3 months ago
2010
We investigate and extend the notion of a good approximation with respect to the enumeration (De) and singleton (Ds) degrees. We refine two results by Griffith, on the inversion of...
142
click to vote
FUIN
2008
15 years 3 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
131
Voted
ENTCS
2006
15 years 3 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...