Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450312400

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parameterized verification of open procedural programs

Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12 ◽

10.1145/2371316.2371352 ◽

2012 ◽

Author(s):

Aleksandar S. Dimovski

Keyword(s):

Parameterized Verification

Download Full-text

An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus

Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12 ◽

10.1145/2371316.2371329 ◽

2012 ◽

Author(s):

Tatjana Lutovac

Keyword(s):

Sequent Calculus ◽

Linear Logic

Download Full-text

Modeling the characteristics of a learning object for use within e-learning applications

Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12 ◽

10.1145/2371316.2371338 ◽

2012 ◽

Cited By ~ 8

Author(s):

George Nikolopoulos ◽

Georgia Solomou ◽

Christos Pierrakeas ◽

Achilles Kameas

Keyword(s):

Learning Object ◽

E Learning

Download Full-text

Communication in machine-to-machine environments

Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12 ◽

10.1145/2371316.2371379 ◽

2012 ◽

Cited By ~ 8

Author(s):

Iva Bojic ◽

Gordan Jezic ◽

Damjan Katusic ◽

Sasa Desic ◽

Mario Kusek ◽

...

Keyword(s):

Machine To Machine

Download Full-text

Virtualized environments in cloud can have superlinear speedup

Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12 ◽

10.1145/2371316.2371319 ◽

2012 ◽

Cited By ~ 5

Author(s):

Sasko Ristov ◽

Magdalena Kostoska ◽

Marjan Gusev ◽

Kiril Kiroski

Keyword(s):

Superlinear Speedup

Download Full-text

An approach to the specification of user interface templates for business applications

Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12 ◽

10.1145/2371316.2371340 ◽

2012 ◽

Author(s):

Sonja Ristić ◽

Ivan Luković ◽

Slavica Aleksić ◽

Jelena Banović ◽

Ali Al-Dahoud

Keyword(s):

User Interface ◽

Business Applications

Download Full-text

A knowledge based approach for handling supply chain risk management

Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12 ◽

10.1145/2371316.2371330 ◽

2012 ◽

Cited By ~ 4

Author(s):

Adrian Solomon ◽

Panayiotis Ketikidis ◽

Alok Choudhary

Keyword(s):

Risk Management ◽

Supply Chain ◽

Supply Chain Risk Management ◽

Supply Chain Risk ◽

Knowledge Based

Download Full-text

Privacy aware eLearning environments based on hippocratic database principles

Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12 ◽

10.1145/2371316.2371344 ◽

2012 ◽

Cited By ~ 5

Author(s):

Jasmin Azemović

Download Full-text

Comparative performance evaluation of the AVL and red-black trees

Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12 ◽

10.1145/2371316.2371320 ◽

2012 ◽

Author(s):

Svetlana Štrbac-Savić ◽

Milo Tomašević

Keyword(s):

Performance Evaluation ◽

Comparative Performance

Download Full-text

Efficient dataset size reduction by finding homogeneous clusters

Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12 ◽

10.1145/2371316.2371349 ◽

2012 ◽

Cited By ~ 5

Author(s):

Stefanos Ougiaroglou ◽

Georgios Evangelidis

Keyword(s):

Size Reduction ◽

Dataset Size

Download Full-text

Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Parameterized verification of open procedural programs

An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus

Modeling the characteristics of a learning object for use within e-learning applications

Communication in machine-to-machine environments

Virtualized environments in cloud can have superlinear speedup

An approach to the specification of user interface templates for business applications

A knowledge based approach for handling supply chain risk management

Privacy aware eLearning environments based on hippocratic database principles

Comparative performance evaluation of the AVL and red-black trees

Efficient dataset size reduction by finding homogeneous clusters

Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12
Latest Publications