2854 search results - page 311 / 571 » A Study of the Genus of a Group |
158
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
159
click to vote
MONET
2008
15 years 6 months ago
2008
Predicting the performance of ad-hoc networking protocols has typically been performed by making use of software based simulation tools. Experimental study and validation of such p...
154
click to vote
MP
2006
15 years 6 months ago
2006
We study the interpolation procedure of Gomory and Johnson (1972), which generates cutting planes for general integer programs from facets of cyclic group polyhedra. This idea has...
173
Voted
IJSEKE
2007
15 years 6 months ago
2007
Software architectural design has an enormous effect on downstream software artifacts. Decomposition of functions for the final system is one of the critical steps in software arch...
170
Voted
AUTOMATICA
2005
15 years 6 months ago
2005
The agreement problem is studied whereby a group of mobile agents achieves convergence to a common point. A hierarchical cyclic pursuit scheme is introduced, and it is shown that ...