Sciweavers

3686 search results - page 563 / 738
» Comprehensive comprehensions
Sort
View
FSTTCS
2010
Springer
15 years 22 days ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To
128
Voted
IJACTAICIT
2010
192views more  IJACTAICIT 2010»
15 years 20 days ago
Service Level Security using Expected Clandestine Figure for Corroboration of Web Service Consumer
In the e-age, internet and e-affairs are the composite blend of business process and technology; the organization must retain the state of computing system or risk malicious assau...
M. S. Saleem Basha
156
Voted
IJBIS
2010
145views more  IJBIS 2010»
15 years 20 days ago
A multi-attribute group decision support system for information technology project selection
: The increasing intensity of global competition and the rapid advances in information technology (IT) have led organisations to search for more efficient and effective ways to man...
Faramak Zandi, Madjid Tavana
IJHPCA
2010
111views more  IJHPCA 2010»
15 years 20 days ago
Understanding Application Performance via Micro-benchmarks on Three Large Supercomputers: Intrepid, Ranger and Jaguar
Emergence of new parallel architectures presents new challenges for application developers. Supercomputers vary in processor speed, network topology, interconnect communication ch...
Abhinav Bhatele, Lukasz Wesolowski, Eric J. Bohm, ...
IJIM
2010
96views more  IJIM 2010»
15 years 20 days ago
A Framework for Building an Interactive Satellite TV Based M-Learning Environment
This paper presents a description of an interactive satellite TV based mobile learning (STV-ML) framework, in which a satellite TV station is used as an integral part of a comprehe...
Ghassan Issa, Shakir Hussain, Hussein Al-Bahadili