10038 search results - page 1627 / 2008 » Model Checking for Managers |
163
click to vote
IJCSA
2006
15 years 6 months ago
2006
This work presents an XML-based authoring methodology that facilitates the different tasks associated with the development of standards-compliant e-learning content development. T...
165
click to vote
ISEM
2008
15 years 6 months ago
2008
As it lacks central management in Peer-to-Peer (P2P) e-commerce environments, prior to new transactions with an unknown peer, the trust evaluation is critical, which relies on the ...
176
click to vote
JCIT
2008
15 years 6 months ago
2008
In this paper we propose methods to utilize Artificial Neural Networks to obtain knowledge for the management of educational resources. The final evaluations provide us a model th...
293
click to vote
JCP
2008
15 years 6 months ago
2008
Processor is an important computing element in portable battery operated real time embedded system and it consumes most of the battery energy. Energy consumption, processor memory ...
183
click to vote
ISI
2006
Springer
15 years 6 months ago
2006
Springer
We present an overview of our work in information fusion for intelligence analysis. This work includes the Hats Simulator and the COLAB system. The Hats Simulator is a parameterize...