6016 search results - page 197 / 1204 » The semantics of graphical languages |
151
click to vote
IEAAIE
2005
Springer
16 years 2 days ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
168
click to vote
AMDO
2004
Springer
15 years 12 months ago
2004
Springer
In many product areas, a growing trend can be observed towards variant design, i.e. the development of customized designs based on variations of mature product models. We have deve...
163
click to vote
ECOOP
2007
Springer
16 years 22 days ago
2007
Springer
When an application retrieves serialized objects for which the class has changed, it may have to cope with modifications of the semantics. While there are numerous ways to handle t...
159
click to vote
RR
2007
Springer
16 years 20 days ago
2007
Springer
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
155
click to vote
FROCOS
2005
Springer
16 years 2 days ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...