5525 search results - page 561 / 1105 » Verification of Model Transformations |
193
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
New devices gaining access to the Internet need to obtain multimedia content adapted to their limited capacities. Scalable formats allow to retrieve different versions of a single...
179
click to vote
PKDD
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper shows how multi-dimensional functions, describing the operation of complex equipment, can be learned. The functions are points in a shape space, each produced ...
200
click to vote
BPM
2005
Springer
16 years 22 days ago
2005
Springer
With the advent of Web services and orchestration specifications like BPEL it is possible to define workflows on an Internet-scale. In the health-care domain highly structured and ...
165
click to vote
DCC
2010
IEEE
16 years 15 days ago
2010
IEEE
Quantization plays a central role in data compression. In speech systems, vector quantizers are used to compress speech parameters. In video systems, scalar quantizers are used to...
266
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...