Abstract
The paper introduces a concept for the combination of mechatronic unit and multi-agent system approaches. It highlights how combining both approaches to a new kind of integrated system architecture may enforce the dissemination and reusability of methods and automatisms developed for one specific system architecture to other similar ones. Additionally it will show how this integrated architecture leads to a better exchange of Automation architectures in general. Thus, all systems compliant with the described architecture may benefit from methods and automatism applicable for a broad range of systems. The suitability of this integration approach is verified by using the example of a washing machine production line.

Abstract
This paper presents a new method for the automatic segmentation of the common carotid artery in B-mode images. This method uses the instantaneous coefficient of variation edge detector, fuzzy classification of edges and dynamic programming. Several discriminating features of the intima and adventitia boundaries are considered, like the edge strength, the intensity gradient orientation, the valley shaped intensity profile and contextual information of the region delimited by those boundaries. The adopted fuzzy classification of edges helps avoiding low-pass filtering. The method is suited to real-time processing and user interaction is not required. Both the near and far wall boundaries can be detected in arteries with plaques of different types and sizes. Both expert manual and automatic tracings are significantly better for the far wall, due to the better visibility of the intima and adventitia boundaries. The automatic detection of the far wall shows an accuracy similar to the manual detections. For this wall, the error coefficient of variation for the mean intima-media thickness is in the range [5.6, 6.6 %] for automatic detections and in [6.7, 7.1 %] for manual ones. In the case of the near wall, the same coefficient of variation is in [11.2, 13.0 %] for automatic detections and in [5.9, 9.0 %] for manual detections. The mean intima-media thickness measurement errors observed for the far wall ([0.15; 0.17] mm, [1.7; 1.9] pixel) are among the best values reported for other fully automatic approaches. The application of this approach in clinical practice is encouraged by the results for the far wall and the short processing time (mean of 2.1 s per image).

Abstract

Abstract
We analyse and exploit implementation features in OpenSSL version 0.9.8g which permit an attack against ECDH-based functionality. The attack, although more general, can recover the entire (static) private key from an associated SSL server via 633 adaptive queries when the NIST curve P-256 is used. One can view it as a software-oriented analogue of the bug attack concept due to Biham et al. and, consequently, as the first bug attack to be successfully applied against a real-world system. In addition to the attack and a posteriori countermeasures, we show that formal verification, while rarely used at present, is a viable means of detecting the features which the attack hinges on. Based on the security implications of the attack and the extra justification posed by the possibility of intentionally incorrect implementations in collaborative software development, we conclude that applying and extending the coverage of formal verification to augment existing test strategies for OpenSSL-like software should be deemed a worthwhile, long-term challenge.

Abstract
Vehicular sensing is emerging as a powerful mean to collect information using the variety of sensors that equip modern vehicles. These sensors range from simple speedometers to complex video capturing systems capable of performing image recognition. The advent of connected vehicles makes such information accessible nearly in real-time and creates a sensing network with a massive reach, amplified by the inherent mobility of vehicles. In this paper we discuss several applications that rely on vehicular sensing, using sensors such as the GPS receiver, windshield cameras, or specific sensors in special vehicles, such as a taximeter in taxi cabs. We further discuss connectivity issues related to the mobility and limited wireless range of an infrastructure-less network based only on vehicular nodes. © 2012 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering.

Abstract
The municipal planning and management tasks are generally performed based on text documents or through digital maps provided by geographic information systems (GIS). However, most municipal GIS follow different data models, leading to interoperability problems when there is a need to combine data from different sources. Furthermore, most of the time these tasks are performed in a collaborative way between the municipal technicians, emerging some difficulties in decision making due to the three-dimensional nature of urban space. Thus, this paper describes a methodology which can integrate multiple sources of real data from diverse municipal GIS, in a unified data model based on the CityGML specification. This model is mapped onto an urban ontology oriented for procedural modeling, which, in turn, produces the threedimensional models of the urban environments. The system developed operates in a client-server approach, where the server is responsible for mapping the urban information to the unified data model and the client represents the procedural modeling technology that generates the urban environment in three-dimensional format, allowing users to interact and amplify the existing urban information.