1816 search results - page 18 / 364 » Formal Concepts of Learning Systems Validation in Use |
FLAIRS
2006
13 years 9 months ago
2006
The success of TURING Test technologies for system validation depends on the quality of the human expertise behind the system. As an additional source of human experts' valid...
PADS
2009
ACM
14 years 3 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
DEXAW
2007
IEEE
14 years 2 months ago
2007
IEEE
Service oriented architectures (SOAs) provide an architectural paradigm to develop and evolve enterprise information systems. A key feature of SOAs is compensability of services. ...
DSN
2000
IEEE
14 years 25 days ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
MEMOCODE
2010
IEEE
13 years 6 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...