602 search results - page 35 / 121 » Efficient Model Checking of Applications with Input Output |
TKDE
2008
13 years 7 months ago
2008
Situational awareness (SA) applications monitor the real world and the entities therein to support tasks such as rapid decision making, reasoning, and analysis. Raw input about unf...
JDCTA
2008
13 years 7 months ago
2008
The research work is carried out to enhance the recognition accuracy of neural network with Phase Only Correlation (POC) and reduce the time required for POC by refining its input...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Due to the enormous increase in the stored digital contents, search and retrieval functionalities are necessary in multimedia systems. Though processor speed for standard PCs (Per...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...