Computer Engineering

Towards Transactional Integrity Issues in Policy Based Network Management Systems

by Vitor Roque

actas da 7ª Conferência de Redes de Computadores – CRC2004, Leiria, Portugal, 7-8 Outubro de 2004

As networks increase in size, heterogeneity, complexity and pervasiveness, effective management of such networks... more As networks increase in size, heterogeneity, complexity and pervasiveness, effective management of such networks becomes more important and increasingly difficult. In this context, PBNM (Policy-Based Network Management) has been gaining popularity in the recent years. New demands on internetworking, services specification, QoS and generically on network management functionality have been driving users to consider this paradigm in their own networks.
As people start exploiting PBNM, another aspect comes to attention: transactional integrity. Transactional control envisages achieving consistent state changes along the network. In other words, state transition in network devices is only authorized if all the related operations are successfully taken.
In this paper we propose a transactional control mechanism for PBNM systems, namely its assurance across different systems and different network domains.

Visual Composition of Management Policies

by Vitor Roque

proc. of the 4th Conference on Telecommunications – ConfTele2003, Aveiro, Portugal, 18-20 June 2003.

Policy based management have gained a crescent importance in the last years. New demands on internetworking, on... more Policy based management have gained a crescent importance in the last years. New demands on internetworking, on services specification, on QoS achievement and generically on network management functionality, have driven this paradigm to a very important level. The main idea is to provide services that allow specifying management and operational rules in the same way people do business. Despite the main association of this technology with network management solutions, its generality allows to extend these principles to any business process inside an organization. In this paper we discuss the main proposals in the field, namely the IETF/DMTF model, and we present a proposal that allows the specification of policy rules through a user-friendly and component-oriented graphical interface.

Policy-Based Network Management in an Integrated Mobile Network

by Vitor Roque

Through the seamless integration of different kinds of technologies, services and terminals, and with the expected... more Through the seamless integration of different kinds of technologies, services and terminals, and with the expected offered bandwidth, the next generation networks will put a new set of challenges related to operation and management. In this paper we present a Policy-based Network Management System that is being developed inside the Daidalos IST project.

Executable Graphics for PBNM

by Vitor Roque

http://www.springer.com/computer/communication+networks/book/978-3-540-29356-9

Policy-Based Network Management (PBNM) is the
application of specific, organisation-level rules in the context... more Policy-Based Network Management (PBNM) is the
application of specific, organisation-level rules in the context of
networking, in particular for network management operations.
The specification of a policy is performed in a policy language,
usually following a textual representation. However, humans
process images faster than text and they are prepared to process
information presented in two or more dimensions: sometimes it is
easier to explain things using figures and their graphical relations
than writing textual representations.
This paper describes a visual language, in the form of graphics
that are executed in a networking environment, to define a
network management policy. This approach allows to map visual
tokens and corresponding arrangements into other languages to
which a mapping is defined.

CFP - International Journal of Engineering (IJE)

by J. Stewart

Computer Science Journals (CSC Journals)

Computer Science Journals (CSC Journals) invites researchers, editors, scientists & scholars to publish their... more Computer Science Journals (CSC Journals) invites researchers, editors, scientists & scholars to publish their scientific research papers in an International Journal of Engineering (IJE) Volume 6, Issue 3.

International Journal of Engineering (IJE) is devoted in assimilating publications that document development and research results within the broad spectrum of subfields in the engineering sciences. The journal intends to disseminate knowledge in the various disciplines of the engineering field from theoretical, practical and analytical research to physical implications and theoretical or quantitative discussion intended for both academic and industrial progress.

Our intended audiences comprises of scientists, researchers, mathematicians, practicing engineers, among others working in Engineering and welcome them to exchange and share their expertise in their particular disciplines. We also encourage articles, interdisciplinary in nature.

CSC Journals anticipate and invite papers on any of the following topics:


Aerospace Engineering

Agricultural Engineering

Biomedical Engineering

Chemical Engineering

Civil & Structural Engineering

Computer Engineering

Control Systems Engineering

Education Engineering

Electrical Engineering

Electronic Engineering

Engineering Mathematics

Engineering Science

Environmental Engineering

Fluid Engineering

Geotechnical Engineering

Industrial Engineering

Manufacturing Engineering

Materials & Technology Engineering

Mechanical Engineering

Mineral & Mining Engineering

Nuclear Engineering

Optical Engineering

Petroleum Engineering

Robotics & Automation Engineering

Telecommunications Engineering


Important Dates - IJE CFP - Volume 6, Issue 3.

Paper Submission: March 31, 2012
Author Notification: May 15, 2012
Issue Publication: June 2012



For complete details about IJE archives publications, abstracting/indexing, editorial board and other important information, please refer to IJE homepage.



We look forward to receive your valuable papers. If you have further questions please do not hesitate to contact us at cscpress@cscjournals.org. Our team is committed to provide a quick and supportive service throughout the publication process.





A complete list of journals can be found at http://www.cscjournals.org/csc/bysubject.php

Máquinas de cálculo y proceso mecánico mediante MEMS

by Pablo Cayuela

Resumen — Charles Babbage planteó el diseño [1] de sus máquinas diferencial [2] y analítica [3], las que no pudo... more Resumen — Charles Babbage planteó el diseño [1] de sus máquinas diferencial [2] y analítica [3], las que no pudo llevar a cabo completamente por diversas razones. La arquitectura de esta última máquina, analizada a la luz del desarrollo de las computadoras modernas del siglo XX, es similar a los modelos de Von Neumann.
Entre las ventajas de las máquinas mecánicas de cálculo,
podemos contar: inmunidad al pulso electromagnético, consumo de energía nulo durante el reposo, tolerancia al aumento de temperatura, entre otras; características que siguen siendo deseables para todo tipo de técnica física de solución de problemas.
Mediante las técnicas de construcción de MEMS, MOEMS y NEMS, es posible plantear el desarrollo de máquinas análogas al diseño de Babbage. A las ventajas dichas, podemos sumar las propias de la miniaturización mediante MEMS, MOEMS o NEMS.
Sin limitarnos a tan solo las máquinas de cálculo, pueden
construirse en esa misma tecnología, máquinas análogas a las soluciones mecánicas de muchos otros procesos, en los cuales tanto por tradición, como por costo o simplicidad se construyeron mediante técnicas mecánicas.
Sin embargo, también el uso de estas tecnologías viene
acompañado de una serie de restricciones relacionadas con problemas de escala y geometría, que deben ser contemplados a priori. Por otro lado, es poco probable que la velocidad de trabajo o ejecución de tareas, esté por encima o a la altura de los modernos sistemas electrónicos de procesamiento de datos.
Las aplicaciones posibles serían muy diversas, aprovechando sus ventajas, allí donde no sean necesarias las correspondientes de las versiones electrónicas: sistemas de control de vuelo y navegación inmunes al ruido eléctrico, al pulso electromagnético, de bajo consumo energético o autopropulsados; plantas de procesamiento químico en miniatura para la fabricación bajo demanda de
drogas farmacéuticas; control y procesamiento numérico en
instalaciones industriales.
Por esto, un cuidadoso estudio de sus posibilidades constructivas
y de aplicación, sería la clave para disponer de esta tecnología y
sus ventajas.

Web-based estimation model of natural ventilation efficiency in greenhouses using 3D computational fluid dynamics

by Theodore Tsiligiridis

In: Proceedings of the 4th World Congress in Agriculture (WCCA' 06), July 2006, Orlando, Florida, USA.
co-authored with M. Maliappis, K. Ferentinos, H. Passam, A. Sideridis

Natural ventilation efficiency in a twin-span greenhouse using 3D computational fluid dynamics

by Theodore Tsiligiridis

In: Proceedings of the 3rd International Conference on Information Systems in Sustainable Agriculture, Agro-environment and Food Technology, (HAICTA 2006), Sept. 2006, Volos, Greece, EU.
co-authored with C. Pontikakos, K.P. Ferentinos, A.B. Sideridis

Smart Cane-Assistive Cane for Visually-impaired People

by Mohd Helmy Abd Wahab

Mohd Helmy Abd Wahab ; Amirul A Talib ; Herdawatie A Kadir ; Ayob Johari ; A Noraziah ; Roslina M Sidek ; Ariffin A Mutalib. International Journal of Computer Science Issues. Vol. 8. Issue 4. pp. 21 - 27

This paper reports on a study that helps visually-impaired people to walk more confidently. The study hypothesizes... more This paper reports on a study that helps visually-impaired people to walk more confidently. The study hypothesizes that a smart cane that alerts visually-impaired people over obstacles in front could help them in walking with less accident. The aim of the paper is to address the development work of a cane that could communicate with the users through voice alert and vibration, which is named Smart Cane. The development work involves coding and physical installation. A series of tests have been carried out on the smart cane and the results are discussed. This study found that the Smart Cane functions well as intended, in alerting users about the obstacles in front.

Improved Password Selection Method to Prevent Data Thefts

by Akash Mathur

Password thefts have become an important data security issue in the recent times. Hackers have been intruding into the... more Password thefts have become an important data security issue in the recent times. Hackers have been intruding into the websites and personal mail accounts of the users. Prevention from this unauthorized access is the need of the hour. So here lies the major key to overcome such a situation and that is to adopt more secure and advanced password selection methods. My paper throws light on one of the most secure methods to improve password strength and security.

An Interdisciplinary Undergraduate Design Course for Wearable and Pervasive Computing Products

by Jason Forsyth

Authors: Tom Martin, Kahyun Kim, Jason Forsyth, Lisa McNair, Eloise Coupey, Ed Dorsa

Published in IEEE International Symposium on Wearable Computing 2011

Best Paper Nominee

This paper reports on a design experience for undergraduates in computer engineering, industrial design, and marketing... more This paper reports on a design experience for undergraduates in computer engineering, industrial design, and marketing that focuses on pervasive computing devices. Across a broad range of targeted application areas and user groups, many of the student designs have been wearable computers. Consequently, our course will be of interest to the wearable computing community, particularly in terms of our aim of bridging the gap between design and engineering. For the two most recent offerings of the course, we have utilized external observers and surveyed the students in order to validate the impact of aspects of our process and changes to it. This paper presents an overview of our process with both qualitative and quantitative results from these two most recent offerings.

Interference Reduction in Mobile Ad Hoc and Sensor Networks

by Maaly Awad Hassan

Authors: Maaly Awad Hassan and Ibrahim Soliman Abuhaiba
The 3rd International Conference on Wireless, Mobile Networks & Applications (WiMoA)
25~27 May 2011 Dubai UAE

Electronic Source Code Plagiarism Detection

by Okiemute Omuta

Published in 6th ARCHENG-2010 International Architecture and Engineering Symposium

This paper covers a few of algorithms used in attempt to detect plagiarism among students’ computer program source... more This paper covers a few of algorithms used in attempt to detect plagiarism among students’ computer program source codes electronically, that is, using a computer software program. One algorithm proved to meet most of the requirements with acceptable results and was implemented using Visual Basic .Net programming language.

Compliant Walking Control for Hydraulic Driven Hexapod Robot on Rough Terrain

by Addie Irawan

Irawan, A. Nonami, K.

This article describes the proposed force-based walking method for hydraulically driven hexapod robot named COMET-IV,... more This article describes the proposed force-based walking method for hydraulically driven hexapod robot named COMET-IV, to walk on the large scale rough terrain. The trajectory is designed where foot step motion for each leg is decided by vertical force on the foot that is calculated from cylinder torque of thigh and shank. This proposed walking trajectory is established with compliant control strategy, which consists of force control based on position range from the trajectory motion signal. This force controller is dynamically control ON/OFF by proposed decision algorithms that derived from the changes of kinematic motion of the trajectory itself. In addition logical attitude (body) control is designed as a part of the decision control module that makes a pre-calculation of decision making based on leg sequence changes. For more stability dynamic swings raising control is derived from trajectory equations to perform a different degree of swing rising for each leg when the robot stepping on the different level of terrain. All proposed controllers are verified in the COMET-IV actual system with walking on the designed rough terrain platform consists of random levels of hard bricks and rubber pads.

Ενα συστημα ελεγχομενο απο μικροϋπολογιστη για αυτοματο καλιμπραρισμα μετρητων ροης

by Dimitrios VENTZAS

1ο Πανελληνιο Συνεδριο Πληροφορικης:Πληροφορικη στην Ελλαδα,ΤΕΕ,ΕΕΕΗΥΠ,3-6/4/1984, σ.9-15

Έρευνα στην Βιοϊατρική Τεχνολογία στο ΤΕΙ Λάρισας - Τμήμα Πληροφορικής & Τηλεπικοινωνιών

by Dimitrios VENTZAS

Πανεπιστήμιο Στερεάς Ελλάδας, Τμήμα Πληροφορικής με Εφαρμογές στη Βιοϊατρική, Ελληνική Εταιρεία Επιστήμης Μετρήσεων και Ελέγχου Εφαρμογών, Προηγμένα Συστήματα Απόκτησης & Επεξεργασίας Τεχνικών και Βιολογικών Μετρήσεων,  23-4-2010

Qualitative Software Dynamics, C. V. Karapoulios, D. E. Ventzas, S. N. Xanthakis

by Dimitrios VENTZAS

Qualitative Software Dynamics, Vienna, Austria, November 28-November 30, ISBN: 0-7695-2504-0 , C. V. Karapoulios, D. E. Ventzas, S. N. Xanthakis, "Qualitative Software Dynamics," Computational Intelligence for Modelling, Control and Automation, International Conference on, vol. 2, pp. 581-586, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-2 (CIMCA-IAWTIC'05), 2005.

In this paper we present a qualitative graph-based formalism for the analysis and the envisioning of software based... more In this paper we present a qualitative graph-based formalism for the analysis and the envisioning of software based system dynamics. We first present the main difficulties of dynamic software analysis. Follow some results of a qualitative abstraction tool and some application examples. We then introduce the concept of a system qualitative graph, and the role of graph homomorphisms. Software is considered as a general system endowed with a continuous phase transition map operating on an abstract data space that is a graph. Our approach formalizes the most widespread dynamic testing techniques. We finish with the presentation of the underlying mathematical qualitative framework and some basic properties of graph homomorphism invariants.

Software reliability modeling

by Dimitrios VENTZAS

Ventzas, D E | Koriatopoulos, C, ADV MODELL ANAL A GEN MATH COMPUT TOOLS. Vol. 21, no. 1-3, pp. 1-10. 1994

Software reliability uses models and mathematics applied in hardware reliability modeling, but with the necessary... more Software reliability uses models and mathematics applied in hardware reliability modeling, but with the necessary changes due to inherent differences between software and hardware. This paper presents models available for software reliability, as a measure of software performance.