Sciweavers

598 search results - page 17 / 120
» Aspect-Oriented Development Using Protocol Modeling
Sort
View
CAISE
2003
Springer
14 years 3 months ago
Modelling Telecare Service Requirements for Older People Using the Unified Modelling Language
Providing technology support for older people offers distinct challenges for social and IT systems delivery. The definition and integration of services, the diversity of supply, va...
Ken Lunn, Andrew Sixsmith, Ann Lindsay, Marja Vaar...
ACISP
2004
Springer
14 years 3 months ago
Protocols with Security Proofs for Mobile Applications
The Canetti-Krawczyk (CK) model is useful for building reusable components that lead to rapid development of secure protocols, especially for engineers working outside of the secur...
Yiu Shing Terry Tin, Harikrishna Vasanta, Colin Bo...
CONEXT
2005
ACM
13 years 11 months ago
Modeling, simulation, and emulation of QoS oriented transport mechanisms
The design and development process of communication protocols and real-time systems and particularly transport protocol mechanisms requires adequate methodology and efficient ins...
Guillaume Jourjon, Ernesto Exposito, Laurent Daira...
ICNP
1998
IEEE
14 years 2 months ago
A Proof Technique for Liveness Properties of Multifunction Composite Protocols
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
J. Park, R. Miller
ANSS
2000
IEEE
14 years 2 months ago
IRLSim: A General Purpose Packet Level Network Simulator
Simulation is the main tool for studying networking protocols before deploying them in a wide scale, or for understanding how they are expected to behave under various conditions....
Andreas Terzis, Konstantinos Nikoloudakis, Lan Wan...