6434 search results - page 1094 / 1287 » Model Transformations with Reference Models |
163
click to vote
FIDJI
2003
Springer
15 years 8 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
131
click to vote
CAISE
2001
Springer
15 years 8 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
144
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
134
click to vote
STOC
1993
ACM
15 years 7 months ago
1993
ACM
In this paper we study quantum computation from a complexity theoretic viewpoint. Our first result is the existence of an efficient universal quantum Turing machine in Deutsch’s...
118
Voted
ICDCS
2010
IEEE
15 years 5 months ago
2010
IEEE
Continuously monitoring the link performance is important to network diagnosis. Recently, active probes sent between end systems are widely used to monitor the link performance. I...