Sciweavers

3006 search results - page 522 / 602
» Overview
Sort
View
ASM
2010
ASM
16 years 16 days ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
COMSWARE
2008
IEEE
16 years 15 days ago
Call admission control: QoS issue for VoIP
—One of the vital key elements for providing Quality of Service (QoS) for VoIP is the Call Admission Control (CAC) capabilities of the Session Management /Call Session Control Fu...
Mohammad Asadul Hoque, Farhana Afroz
VLSID
2008
IEEE
191views VLSI» more  VLSID 2008»
16 years 12 days ago
Programming and Performance Modelling of Automotive ECU Networks
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
Samarjit Chakraborty, Sethu Ramesh
DATE
2007
IEEE
143views Hardware» more  DATE 2007»
16 years 11 days ago
Portable multimedia SoC design: a global challenge
- The intrinsic capability brought by each new technology node opens the way to a broad range of system integration options and continuously enables new applications to be integrat...
Maurizio Paganini, Georg Kimmich, Stephane Ducrey,...
ICC
2007
IEEE
184views Communications» more  ICC 2007»
16 years 10 days ago
A 3GPP-IMS Based Approach for Converging Next Generation Mobile Data Networks
— This paper presents a promising architecture for of the 3GPP’s IMS for supporting real-time session negotiation converging third-generation (3G) cellular data networks and an...
Kumudu S. Munasinghe, Abbas Jamalipour