1585 search results - page 235 / 317 » A framework for computer-aided validation |
130
click to vote
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...
145
click to vote
ISLPED
2005
ACM
15 years 9 months ago
2005
ACM
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
169
click to vote
AIRS
2005
Springer
15 years 9 months ago
2005
Springer
Voluminous medical images are generated daily. They are critical assets for medical diagnosis, research, and teaching. To facilitate automatic indexing and retrieval of large medic...
159
click to vote
AP2PC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Agent-Community-based Peer-to-Peer Information Retrieval (ACP2P) method[1],[2] uses agent communities to manage and look up information of interest tousers. An agent ...
128
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Designing agents whose behavior challenges human players adequately is a key issue in computer games development. This work presents a novel technique, based on reinforcement lear...