1057 search results - page 102 / 212 » Testing from Formal Specifications, a Generic Approach |
ECOWS
2009
Springer
14 years 9 days ago
2009
Springer
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
DEXAW
2003
IEEE
14 years 2 months ago
2003
IEEE
The Internet has enabled a great amount of information to be readily available and easily accessible. It has promoted several changes in the world, including in the education area...
ESTIMEDIA
2003
Springer
14 years 2 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Ideas by Statistical Mechanics (ISM) is a generic program to model evolution and propagation of ideas/patterns throughout populations subjected to endogenous and exogenous interac...
CIVR
2003
Springer
14 years 2 months ago
2003
Springer
This paper adopts the premise that the ‘semantic gap' is an incompletely surveyed feature in the landscape of visual image retrieval, and proposes a framework within which t...