Sciweavers

65 search results - page 7 / 13
» Modeling VoIP Call Holding Times for Telecommunications
Sort
View
TKDE
2008
154views more  TKDE 2008»
13 years 7 months ago
Analyzing the Structure and Evolution of Massive Telecom Graphs
Abstract-- With ever growing competition in telecommunications markets, operators have to increasingly rely on business intelligence to offer the right incentives to their customer...
Amit Anil Nanavati, Rahul Singh, Dipanjan Chakrabo...
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
14 years 6 days ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
IFIPTCS
2010
13 years 5 months ago
Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility
Most highly dynamic infrastructure-less networks have in common that the assumption of connectivity does not necessarily hold at a given instant. Still, communication routes can be...
Arnaud Casteigts, Paola Flocchini, Bernard Mans, N...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
14 years 4 days ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
GLOBECOM
2007
IEEE
14 years 2 months ago
Content-Aware Cooperative Multiple Access Protocol for Packet Speech Communications
— A novel cooperative multiple access protocol for packet speech communications is proposed. Cooperation is achieved through a relay node and by exploiting the silence periods du...
Amr El-Sherif, Andres Kwasinski, Ahmed K. Sadek, K...