Sciweavers

14642 search results - page 2585 / 2929
» It's Time for a Change
Sort
View
IDT
2010
125views more  IDT 2010»
15 years 5 months ago
Automatic fusion of knowledge stored in ontologies
A person adds new knowledge to his/her mind, taking into account new information, additional details, better precision, synonyms, homonyms, redundancies, apparent contradictions, a...
Alma-Delia Cuevas, Adolfo Guzmán-Arenas
IEEECIT
2010
IEEE
15 years 5 months ago
ISTS: An Integrated Simulation Training System for Education in Police College
—Simulation based training system can play an important role in education. It provides fruitful configurations with low cost of maintenance and further development compared to th...
Shulong Li
IEEECIT
2010
IEEE
15 years 5 months ago
Developing a Cloud Computing Charging Model for High-Performance Computing Resources
Abstract—This paper examines the economics of cloud computing charging from the perspective of a supercomputing resource provider offering its own resources. To evaluate the comp...
Matthew Woitaszek, Henry M. Tufo
IEEECIT
2010
IEEE
15 years 5 months ago
Fuzzy Location Service for Mobile Ad Hoc Networks
Abstract—Over the past years, location-based routing protocols have been studied extensively in mobile ad hoc networks (MANETs). However, how to efficiently provide the location ...
Yongming Xie, Guojun Wang, Jie Wu
211
Voted
IEEEHPCS
2010
15 years 5 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
« Prev « First page 2585 / 2929 Last » Next »