5525 search results - page 121 / 1105 » Verification of Model Transformations |
108
click to vote
OPODIS
2003
15 years 4 months ago
2003
Dependable properties such as self-stabilization are crucial requirements in sensor networks. One way to achieve these properties is to utilize the vast literature on distributed ...
108
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This work presents a new approach to discriminative speaker verification. Rather than estimating speaker models, or a model that discriminates between a speaker class and the cla...
129
click to vote
BELL
2000
15 years 3 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
132
click to vote
FASE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
145
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
The usability of model transformation languages depends on the abstractions one can work with in rules to perform complex operations on models. Recently, we have introduced a novel...