5451 search results - page 262 / 1091 » Typed Operational Semantics |
108
click to vote
IJMMS
2006
15 years 4 months ago
2006
For human operators supervising a complex system it is crucial to have a powerful and flexible information presentation system. In order to reduce the cognitive load operators oft...
220
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Diff, and Merge, that are...
149
click to vote
CAI
2009
Springer
15 years 11 months ago
2009
Springer
Two types of simulations for weighted tree automata (wta) are considered. Wta process trees and assign a weight to each of them. The weights are taken from a semiring. The two type...
133
click to vote
ENTCS
2006
15 years 4 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
129
Voted
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...