6660 search results - page 1156 / 1332 » Highly-Available Application Integration |
184
click to vote
SOSYM
2010
15 years 4 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
182
click to vote
STTT
2010
15 years 4 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
172
click to vote
TASLP
2010
15 years 4 months ago
2010
Abstract—We present an algorithm for removing timefrequency components, found by a standard Gabor transform, of a “real-world” sound while causing no audible difference to th...
153
click to vote
TCOM
2010
15 years 4 months ago
2010
Abstract—This paper investigates the distribution of the condition number of complex Wishart matrices. Two closely related measures are considered: the standard condition number ...
140
click to vote
TMC
2010
15 years 4 months ago
2010
—The third-generation partnership project (3GPP) and 3GPP2 have standardized the IP multimedia subsystem (IMS) to provide ubiquitous and access network-independent IP-based servi...