Sciweavers

1390 search results - page 166 / 278
» A Methodology for Requirements Engineering Process Developme...
Sort
View
PROMAS
2005
Springer
15 years 5 months ago
Implementing Multi-agent Systems Organizations with INGENIAS
In a multi-agent system, the organization determines the architecture of the whole system, and the way and policies for agent collaboration and interactions. Although this is a key...
Jorge J. Gómez-Sanz, Juan Pavón
DATE
2009
IEEE
149views Hardware» more  DATE 2009»
15 years 6 months ago
High level H.264/AVC video encoder parallelization for multiprocessor implementation
— H.264/AVC (Advanced Video Codec) is a new video coding standard developed by a joint effort of the ITU-TVCEG and ISO/IEC MPEG. This standard provides higher coding efficiency r...
Hajer K. Zrida, Abderrazek Jemai, Ahmed C. Ammari,...
ER
2008
Springer
91views Database» more  ER 2008»
15 years 1 months ago
Location-Based Software Modeling and Analysis: Tropos-Based Approach
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini
ISORC
2009
IEEE
15 years 6 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
HPCN
2000
Springer
15 years 3 months ago
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Theophilos A. Limniotes, George A. Papadopoulos