1117 search results - page 31 / 224 » Domain Specific Engineering Environments |
TPHOL
1998
IEEE
14 years 2 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
TASLP
2010
13 years 5 months ago
2010
This article addresses the modeling of reverberant recording environments in the context of under-determined convolutive blind source separation. We model the contribution of each ...
IWFM
1998
14 years 7 hour ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent d...
WOA
2007
13 years 11 months ago
2007
– The importance of business processes for a successful enterprise cannot be overestimated. They are core assets through which a business turns its potential into actual competit...