Sciweavers

7762 search results - page 155 / 1553
» Availability in BitTorrent Systems
Sort
View
PTS
2008
98views Hardware» more  PTS 2008»
13 years 9 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
WICSA
2008
13 years 9 months ago
Extraction of Component-Based Architecture from Object-Oriented Systems
Software architecture modeling and representation became a main phase of the development process of complex systems. In fact, software architecture representation provides many ad...
Sylvain Chardigny, Abdelhak Seriai, Mourad Oussala...
COLING
1996
13 years 9 months ago
Towards a More Careful Evaluation of Broad Coverage Parsing Systems
Since treebanks have become available to researchers a wide variety of techniques has been used to make broad coverage parsing systems. This makes quantitative evaluation very imp...
Wide R. Hogenhout, Yuji Matsumoto
WCE
2007
13 years 9 months ago
System Design and Networking Protocols for Wireless Positioning
Abstract—The recent boom in wireless communications has led to a wide range of new applications. Wireless positioning is an emerging technology which can provide accurate locatio...
Bo Peng, Andrew H. Kemp, Washington Ochieng
AUTOMATICA
2007
107views more  AUTOMATICA 2007»
13 years 8 months ago
Quadratic stabilization of linear networked control systems via simultaneous protocol and controller design
We develop necessary and sufficient conditions for quadratic stabilizability of linear networked control systems by dynamic output feedback and communication protocols. These cond...
Dragan B. Dacic, Dragan Nesic