EUROMICRO
2005
IEEE
13 years 10 months ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...
EUROMICRO
2005
IEEE
13 years 10 months ago
2005
IEEE
The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by mechanisms an...
EUROMICRO
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper reports on the development of QoSOnt: an ontology for Quality of Service (QoS). Particular focus is given to its application in the field of service-centric systems. Qo...
EUROMICRO
2005
IEEE
13 years 10 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
EUROMICRO
2005
IEEE
13 years 10 months ago
2005
IEEE
MANET environments suffer from changing connectivity conditions and radio contention among stations that conform it. Despite the several on-going endeavors, no simple and effectiv...
EUROMICRO
2005
IEEE
13 years 10 months ago
2005
IEEE
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
EUROMICRO
2005
IEEE
13 years 10 months ago
2005
IEEE
State-of-the-art middleware and component technologies lack support for Quality of Service (QoS) management. Application developers, therefore, integrate QoS mechanisms into the a...
EUROMICRO
2005
IEEE
13 years 10 months ago
2005
IEEE
EUROMICRO
2005
IEEE
13 years 10 months ago
2005
IEEE
Service Oriented Architectures and Web Services are emerging technologies, which have overall inherited problems and advantages from the component-based approach, but exacerbated ...
EUROMICRO
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...