1929 search results - page 267 / 386 » A Problem Space Approach to Expert System Specification |
124
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
- In the paper, we propose an efficient two-factor localized authentication scheme suitable for WLAN roaming. The proposed authentication scheme can greatly improve the security co...
128
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
135
Voted
CBMS
2001
IEEE
15 years 7 months ago
2001
IEEE
Image indexing for biomedical content is a prohibitively expensive task if done manually. This leads to the demand for effective automated or computer assisted indexing methods. W...
137
Voted
IS
2010
15 years 29 days ago
2010
The routing in communication networks is typically a multicriteria decision making (MCDM) problem. However, setting the parameters of most used MCDM methods to fit the preferences ...
154
Voted
TIT
2010
14 years 10 months ago
2010
The significant and meaningful fraction of all the potential information residing in the molecules and structures of living systems is unknown. Sets of random molecular sequences o...