Sciweavers

1581 search results - page 268 / 317
» Mechanizing Inductive Reasoning
Sort
View
JDCTA
2010
122views more  JDCTA 2010»
14 years 4 months ago
The Financial Structure and High-Tech Industries Development in China
The transformation of economic development approach demands to develop high-tech industries, while high-tech industries can't develop without financial support, in which diff...
Liuyong Yang, Shensheng Mo, Anqi Zhou
TELSYS
2010
154views more  TELSYS 2010»
14 years 4 months ago
Blocking attacks on SIP VoIP proxies caused by external processing
As Voice over IP (VoIP) applications become increasingly popular, they are more and more facing security challenges that have not been present in the traditional Public Switched Te...
Ge Zhang, Simone Fischer-Hübner, Sven Ehlert
HICSS
2011
IEEE
247views Biometrics» more  HICSS 2011»
14 years 1 months ago
Model-Driven Development Meets Security: An Evaluation of Current Approaches
Although our society is critically dependent on software systems, these systems are mainly secured by protection mechanisms during operation instead of considering security issues...
Kresimir Kasal, Johannes Heurix, Thomas Neubauer
ICASSP
2011
IEEE
14 years 1 months ago
Pricing game and evolution dynamics for mobile video streaming
The recent developments of smart mobile phones and 3G networks enable users to enjoy video programs by subscribing to data plans. Due to phone-to-phone communication technologies ...
Wan-Yi Sabrina Lin, K. J. Ray Liu
ICDE
2011
IEEE
207views Database» more  ICDE 2011»
14 years 1 months ago
Monte Carlo query processing of uncertain multidimensional array data
— Array database systems are architected for scientific and engineering applications. In these applications, the value of a cell is often imprecise and uncertain. There are at le...
Tingjian Ge, David Grabiner, Stanley B. Zdonik