Sciweavers

1626 search results - page 124 / 326
» The method evaluation model: a theoretical model for validat...
Sort
View
JIRS
2010
112views more  JIRS 2010»
13 years 6 months ago
Development and Evaluation of a Chase View for UAV Operations in Cluttered Environments
Civilian applications for UAVs will bring these vehicles into low flying areas cluttered with obstacles such as building, trees, power lines, and more importantly civilians. The h...
James T. Hing, Keith W. Sevcik, Paul Y. Oh
ER
2005
Springer
155views Database» more  ER 2005»
14 years 1 months ago
Applying Transformations to Model Driven Development of Web Applications
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
Santiago Meliá, Jaime Gómez
ICCTA
2007
IEEE
14 years 2 months ago
On the Link Excess Life in Mobile Wireless Networks
In this paper, one of the most important parameters in performance evaluation and protocol design of wireless networks, Link Excess Life (LEL), is investigated. An analytical mode...
Abbas Nayebi, A. Khosravi, Hamid Sarbazi-Azad
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 2 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
ICASSP
2009
IEEE
14 years 3 months ago
Efficacy of a constantly adaptive language modeling technique for web-scale applications
In this paper, we describe CALM, a method for building statistical language models for the Web. CALM addresses several unique challenges dealing with the Web contents. First, CALM...
Kuansan Wang, Xiaolong Li