Sciweavers

2552 search results - page 116 / 511
» Development of an evaluation model for Question Answering Sy...
Sort
View
KDD
2009
ACM
172views Data Mining» more  KDD 2009»
14 years 2 months ago
The role of game theory in human computation systems
The paradigm of “human computation” seeks to harness human abilities to solve computational problems or otherwise perform distributed work that is beyond the scope of current ...
Shaili Jain, David C. Parkes
IPPS
2006
IEEE
14 years 1 months ago
Fault and intrusion tolerance of wireless sensor networks
The following three questions should be answered in developing new topology with more powerful ability to tolerate node-failure in wireless sensor network. First, what is node-fai...
Liang-min Wang, Jianfeng Ma, Chao Wang, A. C. Kot
CCS
2003
ACM
14 years 1 months ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
WSC
1997
13 years 9 months ago
Evaluating Embedded Decision Processes of Manufacturing Systems Through Simulation
This paper addresses the issues related to the decision processes of manufacturing system simulation. The manufacturing system is perceived in terms of intelligent entities capabl...
S. Cem Karacal
MODELS
2009
Springer
14 years 2 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...