Sciweavers

3330 search results - page 457 / 666
» software 2010
Sort
View
147
Voted
ICWS
2010
IEEE
15 years 3 months ago
Evaluating the Survivability of SOA Systems Based on HMM
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...
Leilei Chen, Qing Wang, Wei Xu, Liang Zhang
IEEECIT
2010
IEEE
15 years 3 months ago
Study on the Industry Oriented Education for Computing of Ireland and Its Application
—This paper analyzes the mechanism of Industry Oriented Education of Ireland, especially in DIT and extracts useful experience to the education process of pilot software schools ...
Wu Tao, Chen Ya-ping, Ning Feng, Gu Xi-Qian
166
Voted
IEEECIT
2010
IEEE
15 years 3 months ago
xFace: A Lightweight Web Application Engine on Multiple Mobile Platforms
With the vigorous development of the Internet, web applications have been widely used on the PC (Personal Computer) platforms. The maturity of the hardware and software platforms ...
Fan Jiang, Zhigang Feng, Lei Luo
114
Voted
IEICET
2010
72views more  IEICET 2010»
15 years 3 months ago
Static Estimation of the Meteorological Visibility Distance in Night Fog with Imagery
In this paper, we propose a new way to estimate fog extinction at night using a classification of fog depending on the forward scattering. We show that a characterization of fog ...
Romain Gallen, Nicolas Hautière, Eric Dumon...
135
Voted
INFORMATICALT
2010
103views more  INFORMATICALT 2010»
15 years 3 months ago
Formal Correctness Proof for DPLL Procedure
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veri...
Filip Maric, Predrag Janicic