BULLETIN OF THE TRANSILVANIA UNIVERSITY OF BRASOV  VOL. 7 (56) No.1 - 2014

SERIES III  -   MATHEMATICS • INFORMATICS • PHYSICS, ISSN 2065-2151 (Print), ISSN 2065-216X (CD-ROM).

 

INFORMATICS

 

Aldea, C. L.: RESTEasy JAX-RS login web service and Android client................................................................................................... 81
Avesalon (Grigoras), N.: Maximum flow over time problem in parametric networks............................................................................ 95
Ciupala, L.: A generic preflow algorithm for maximum flow in semi-bipartite networks..................................................................... 103

Dorokhov, O., Malyaretz, L. and Ponomarenko V.: Reduction of the critical path finding problem to an ordinary

      transportation task in Excel........................................................................................................................................................................

109

Kuchaki Rafsanjani, M. and Shafaie, B.: Appropriate routing protocols for heterogeneous mobile Ad Hoc networks

       (HMANETs): a survey.................................................................................................................................................................................

119
Nanau, C-S.: Software correctness verification by contract ...................................................................................................................... 131
Scheiber, E.: On the gradient method applied to optimal control problem............................................................................................ 139

BULLETIN OF THE TRANSILVANIA UNIVERSITY OF BRASOV •  VOL. 7 (56) No. 2 - 2014

SERIES III  -   MATHEMATICS • INFORMATICS • PHYSICS, ISSN 2065-2151 (Print), ISSN 2065-216X (CD-ROM)

INFORMATICS

 

Carstea, C.-G., Enache-David, N. and Sangeorzan L.: Fractal model for simulation and inflation control...................................... 161
Ciurea, E.: Minimum flows in networks with parametric lower bounds for sink arcs.......................................................................... 169
Deaconu, A.: Strongly diagonal dominant matrices................................................................................................................................... 177

Florea, I. and Nanau, C.-S.: An algorithmic approach of retrial queuing systems with one serving station.

      Part II: The implementation of the simulation algorithm......................................................................................................................

183

Schiopu, C.: The maximum flows in bipartite dynamic networks............................................................................................................

193

Vasilescu, A.: Basic types of flip-flops: specification and automatic verification..................................................................................

203