Sciweavers

2419 search results - page 103 / 484
» Modeling Spatio-temporal Network Computations: A Summary of ...
Sort
View
AINA
2004
IEEE
13 years 11 months ago
Using the Extension Function of XSLT and DSL to Secure XML Documents
XSLT is a very popular and flexible language for transforming XML documents which provides a powerful implementation of a tree-oriented transformation language for transmuting ins...
Tao-Ku Chang, Gwan-Hwan Hwang
FORMATS
2007
Springer
13 years 11 months ago
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
Anne Remke, Boudewijn R. Haverkort
MIDDLEWARE
2004
Springer
14 years 1 months ago
Guiding Queries to Information Sources with InfoBeacons
The Internet provides a wealth of useful information in a vast number of dynamic information sources, but it is difficult to determine which sources are useful for a given query. ...
Brian F. Cooper
AINA
2005
IEEE
14 years 1 months ago
A Probabilistic Signal-Strength-Based Evaluation Methodology for Sensor Network Deployment
: The deployment of senor networks have attracted a lot of attention recently. In essence this issue is concerned with how well a sensing field is monitored by sensors to achieve ...
Sheng-Po Kuo, Yu-Chee Tseng, Fang-Jing Wu, Chun-Yu...
ICC
2009
IEEE
239views Communications» more  ICC 2009»
14 years 2 months ago
An Analytical Approach for Throughput Evaluation of Wireless Network Coding
In this paper, we propose a new analytical model for throughput evaluation of wireless network coding. This new approach is based on a probabilistic viewpoint on network coding, i....
Mohammad H. Amerimehr, Farid Ashtiani, Mohammad Ba...