Sciweavers

9842 search results - page 295 / 1969
» Compositional timing analysis
Sort
View
IJSN
2008
147views more  IJSN 2008»
15 years 4 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
JSAC
2007
200views more  JSAC 2007»
15 years 4 months ago
Analysis of DSRC Service Over-Reach inside an Arched Tunnel
— In this paper, the prediction of received power in the out-of-zone of a Dedicated Short Range Communications (DSRC) system operating inside a typical arched highway tunnel is d...
Gilbert Siy Ching, Mir Ghoraishi, Navarat Lertsiri...
140
Voted
BMVC
2010
15 years 2 months ago
Graph-based Analysis of Textured Images for Hierarchical Segmentation
The Texture Fragmentation and Reconstruction (TFR) algorithm has been recently introduced [9] to address the problem of image segmentation by textural properties, based on a suita...
Raffaele Gaetano, Giuseppe Scarpa, Tamás Sz...
162
Voted
JOLLI
2010
142views more  JOLLI 2010»
15 years 3 months ago
Towards a Type-Theoretical Account of Lexical Semantics
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle sema...
Christian Bassac, Bruno Mery, Christian Retor&eacu...
155
Voted
EUROGRAPHICS
2010
Eurographics
16 years 1 months ago
Adding Depth to Cartoons Using Sparse Depth (In)equalities
This paper presents a novel interactive approach for adding depth information into hand-drawn cartoon images and animations. In comparison to previous depth assignment techniques ...
Daniel Sýkora, David Sedlacek, Sun Jinchao, John ...