Sciweavers

4911 search results - page 553 / 983
» Tree dependence analysis
Sort
View
ACISICIS
2005
IEEE
15 years 10 months ago
Use of SCTP for IP Handover Support
This paper describes the experimental analysis of SCTP handover for the dual-homing and singlehoming mobile terminals based on Linux platform. From the experiments, it is shown th...
Dong Phil Kim, Jong-Shik Ha, Sang-Tae Kim, Seok Jo...
COMPSAC
2005
IEEE
15 years 10 months ago
Incremental Class Testing from a Class Test Order
Many approaches exist to decide the order in which classes should be integrated during (integration) testing. Most of them, based on an analysis of class dependencies (for instanc...
Yvan Labiche
RTCSA
2005
IEEE
15 years 10 months ago
Deadline Spanning: A Graph Based Approach
Microkernel based systems tend to depend heavily on IPC. This paper adresses the problem of a system response spanning more than one task in an embedded real-time system. The appr...
Stefan M. Petters
144
Voted
LPAR
2005
Springer
15 years 10 months ago
Algebraic Intruder Deductions
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
David A. Basin, Sebastian Mödersheim, Luca Vi...
133
Voted
ISLPED
2004
ACM
153views Hardware» more  ISLPED 2004»
15 years 10 months ago
Any-time probabilistic switching model using bayesian networks
Modeling and estimation of switching activities remain to be important problems in low-power design and fault analysis. A probabilistic Bayesian Network based switching model can ...
Shiva Shankar Ramani, Sanjukta Bhanja