6413 search results - page 920 / 1283 » Classes of cycle bases |
178
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
147
click to vote
DNA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A major challenge in nanoscience is the design of synthetic molecular devices that run autonomously and are programmable. DNA-based synthetic molecular devices have the a...
178
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
161
click to vote
FASE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
139
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Models addressing both structure and behaviour of a system are usually quite complex. Much of the complexity is caused by the necessity to distinguish between different c...