200 search results - page 33 / 40 » Algebraic Operational Semantics and Occam |
103
Voted
DLT
2004
15 years 1 months ago
2004
Bottom-up tree series transducers (tst) over the semiring A are implemented with the help of bottom-up weighted tree automata (wta) over an extension of A. Therefore bottom-up D-w...
87
Voted
ENTCS
2010
15 years 14 days ago
2010
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...
103
Voted
SEMWEB
2001
Springer
15 years 4 months ago
2001
Springer
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
One way to address the continuing performance problem of high-level domain-specific languages, such as Octave or MATLAB, is to compile them to a relatively lower level language f...
95
Voted
SIGSOFT
2001
ACM
16 years 1 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...