353 search results - page 44 / 71 » Compositional specification of behavioral semantics |
APWEB
2005
Springer
14 years 1 months ago
2005
Springer
Web users use search engine to find useful information on the Internet. However current web search engines return answer to a query independent of specific user information need. S...
IRI
2008
IEEE
14 years 2 months ago
2008
IEEE
Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users s...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
AINA
2011
IEEE
12 years 11 months ago
2011
IEEE
—Currently the user’s web search is disjoint from the resources which is subsequently browsed. Specifically the related instances of the search are not displayed on the followi...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test case...