5525 search results - page 58 / 1105 » Verification of Model Transformations |
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
We investigate several feature normalization and scaling approaches for use in speaker verification based on support vector machines. We are particularly interested in methods th...
ASM
2010
ASM
15 years 5 days ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
VLSID
2003
IEEE
15 years 10 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...