Sciweavers

3605 search results - page 381 / 721
» Analysis and Applications of the XDI model
Sort
View
ESORICS
2009
Springer
16 years 7 months ago
Model-Checking DoS Amplification for VoIP Session Initiation
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
Carl A. Gunter, José Meseguer, Musab AlTurk...
ICCNMC
2005
Springer
16 years 8 days ago
Modeling and Performance Evaluation of Handover Service in Wireless Networks
With the development of wireless network, more and more applications require the QoS for message transmission. In order to enhance the QoS service in the dynamic changing wireless ...
Wenfeng Du, Lidong Lin, Weijia Jia, Guojun Wang
IPMI
2005
Springer
16 years 8 days ago
Elastic Shape Models for Interpolations of Curves in Image Sequences
Many applications in image analysis are concerned with the temporal evolution of shapes in video sequences. In situations involving low-contrast, low-quality images, human aid is o...
Shantanu H. Joshi, Anuj Srivastava, Washington Mio
CDC
2009
IEEE
142views Control Systems» more  CDC 2009»
15 years 11 months ago
Towards STEM control: Modeling framework and development of a sensor for defocus control
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...
Arturo Tejada, Wouter Van den Broek, Saartje W. va...
INAP
2001
Springer
15 years 11 months ago
Towards Reconciling Use Cases via Controlled Language and Graphical Models
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
Kathrin Böttger, Rolf Schwitter, Diego Moll&a...