Sciweavers

2234 search results - page 174 / 447
» Protocol Implementation Using Integrated Layer Processing
Sort
View
FDL
2005
IEEE
16 years 3 days ago
Integrating Model-Checking with UML-based SoC Development
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
Peter Green, Kinika Tasie-Amadi
CONEXT
2006
ACM
16 years 13 days ago
Mobile agents based framework for routing and congestion control in mobile ad hoc networks
In this paper, we present a Mobile Agents based Framework for Routing and Congestion control in Mobile Ad Hoc Networks (MAFRC). The framework uses a cross-layer design approach wh...
H. M. P. Shekhar, K. S. Ramanatha
SPW
2004
Springer
15 years 11 months ago
Authentication Components: Engineering Experiences and Guidelines
abstract February 6, 2004 Security protocols typically employ an authentication phase followed by a protected data exchange. In some cases, such TLS, these two phases are tightly ...
Pasi Eronen, Jari Arkko
ICDE
2008
IEEE
146views Database» more  ICDE 2008»
16 years 7 months ago
DIPBench Toolsuite: A Framework for Benchmarking Integration Systems
So far the optimization of integration processes between heterogeneous data sources is still an open challenge. A first step towards sufficient techniques was the specification of ...
Dirk Habich, Matthias Böhm, Uwe Wloka, Wolfga...
DSN
2008
IEEE
16 years 28 days ago
Hot-spot prediction and alleviation in distributed stream processing applications
Many emerging distributed applications require the realtime processing of large amounts of data that are being updated continuously. Distributed stream processing systems offer a ...
Thomas Repantis, Vana Kalogeraki