Sciweavers

1357 search results - page 52 / 272
» Compositional analysis for linear systems
Sort
View
IJSN
2008
147views more  IJSN 2008»
13 years 10 months ago
Formal modelling and analysis of XML firewall for service-oriented systems
: Firewalls have been designed as a major component to protect a network or a server from being attacked. However, due to their emphasis on packet filtering rather than verifying u...
Haiping Xu, Mihir M. Ayachit, Abhinay Reddyreddy
MASCOTS
2004
13 years 11 months ago
Analysis of Peer-to-Peer Systems: Workload Characterization and Effects on Traffic Cacheability
Peer-to-peer file sharing networks have emerged as a new popular application in the Internet scenario. In this paper, we provide an analytical model of the resources size and of t...
Mauro Andreolini, Riccardo Lancellotti, Philip S. ...
MM
2005
ACM
111views Multimedia» more  MM 2005»
14 years 3 months ago
A flexible system for creating music while interacting with the computer
Music is a very important part of our lives. People enjoy listening to the music, and many of us find a special pleasure in creating the music. Computers further extended many asp...
Zeljko Obrenovic
TMM
2010
241views Management» more  TMM 2010»
13 years 5 months ago
Mining Compositional Features From GPS and Visual Cues for Event Recognition in Photo Collections
As digital cameras with Global Positioning System (GPS) capability become available and people geotag their photos using other means, it is of great interest to annotate semantic e...
Junsong Yuan, Jiebo Luo, Ying Wu
AUTOMATICA
2004
113views more  AUTOMATICA 2004»
13 years 10 months ago
Simple stability criteria for systems with time-varying delays
This paper considers the problem of stability of linear feedback systems with time-varying but bounded delays. Simple but powerful criteria of stability are presented for both con...
Chung-Yao Kao, Bo Lincoln