1119 search results - page 96 / 224 » On the Invariance of Ant System |
153
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
163
click to vote
RSS
2007
15 years 7 months ago
2007
— In this paper a new leader-follower formation of nonholonomic mobile robots is studied. The follower is a car-like vehicle and the leader is a tractor pulling a trailer. The le...
137
click to vote
GECCO
2007
Springer
16 years 14 days ago
2007
Springer
This research uses a Design of Experiments (DOE) approach to build a predictive model of the performance of a combinatorial optimization heuristic over a range of heuristic tuning...
162
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
172
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
We consider a network of control systems connected over a graph. Considering the graph structure as constraints on the set of permissible controllers, we show that such systems ar...