2776 search results - page 74 / 556 » System-Level Abstraction Semantics |
128
Voted
QEST
2010
IEEE
15 years 15 days ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
107
Voted
ECEASST
2008
15 years 2 months ago
2008
Abstract: We describe the programming system for the graph-transformation lan, focusing on the implementation of its compiler and abstract machine. We also compare the system'...
130
click to vote
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Model differences calculated by differencing algorithms contain the atomic changes made to a model. However, they do not capture the user’s intention of the modifica...
125
click to vote
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
119
Voted
ACSD
2003
IEEE
15 years 8 months ago
2003
IEEE
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...