Sciweavers

411 search results - page 13 / 83
» On-line Network Synthesis
Sort
View
COCOA
2009
Springer
13 years 11 months ago
An Effective Hybrid Algorithm for the Circles and Spheres Packing Problems
stract to be announcedPlenary session 09:00-10:00 Panos M, Pardalos, University of Florida, USA Tea Break 10:00-10:20 At the 1st floor 10:20-10:45 Polynomial Approximation Schemes ...
Jingfa Liu, Yonglei Yao, Yu Zheng, Huantong Geng, ...
ICNP
1995
IEEE
13 years 11 months ago
Protocol synthesis using basic Lotos and global variables
Ahmed Khoumsi, Gregor von Bochmann
ICNP
1995
IEEE
13 years 11 months ago
Protocol synthesis from timed and structured specifications
Akio Nakata, Teruo Higashino, Kenichi Taniguchi