Sciweavers

3271 search results - page 471 / 655
» Controlled Multicast Framework
Sort
View
122
Voted
HUMAN
2005
Springer
15 years 8 months ago
mSCTP for Vertical Handover Between Heterogeneous Networks
Stream Control Transmission Protocol (SCTP) is a new end-to-end transport protocol that is featured ‘multi-homing.’ The mSCTP (mobile SCTP) is defined as SCTP with the capabili...
Seok Joo Koh, Sang Wook Kim
HYBRID
2005
Springer
15 years 8 months ago
A Homology Theory for Hybrid Systems: Hybrid Homology
By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...
Aaron D. Ames, Shankar Sastry
115
Voted
ICIC
2005
Springer
15 years 8 months ago
Analysis of SCTP Handover by Movement Patterns
Stream Control Transmission Protocol (SCTP) is a new end-to-end transport protocol, which can be used to support the mobility of mobile terminals. This paper describes a framework ...
Dong Phil Kim, Seok Joo Koh, Sang Wook Kim
ICSOC
2005
Springer
15 years 8 months ago
A Rule Driven Approach for Developing Adaptive Service Oriented Business Collaboration
Abstract. Current composite web service development and management solutions, e.g. BPEL, do not cater for flexible and adaptive business collaborations due to their pre-defined a...
Bart Orriëns, Jian Yang, Mike P. Papazoglou
LPAR
2005
Springer
15 years 8 months ago
Towards Automated Proof Support for Probabilistic Distributed Systems
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
Annabelle McIver, Tjark Weber