Sciweavers

4061 search results - page 633 / 813
» Framework Evolution Tool
Sort
View
MOBICOM
2003
ACM
15 years 10 months ago
Sound mobility models
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...
Jungkeun Yoon, Mingyan Liu, Brian Noble
177
Voted
CBSQ
2003
Springer
15 years 9 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
CONCUR
2003
Springer
15 years 9 months ago
Abstract Patterns of Compositional Reasoning
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Ri...
CVPR
2010
IEEE
15 years 9 months ago
Anatomical Parts-Based Regression Using Non-Negative Matrix Factorization
Non-negative matrix factorization (NMF) is an excellent tool for unsupervised parts-based learning, but proves to be ineffective when parts of a whole follow a specific pattern. ...
Swapna Joshi, Karthikeyan Shanmugavadivel, B.S. Ma...
134
Voted
BCI
2009
IEEE
15 years 9 months ago
Assessing e-Readiness in SEE Countries: Perceptions towards e-Government Public Services
e-Government services are emerging rapidly in the developing world. Many countries use e-Government as an enabling tool to increase efficiency, enhance transparency, collect more ...
Vasileios Zarimpas, Maria Grouztidou, Despina Anas...