4666 search results - page 189 / 934 » Equations on Timed Languages |
157
click to vote
VRML
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we discuss the benefits of extending VRML by constraints and present a new way based on prototypes and scripting to implement this extension. Our approach is easy-t...
164
click to vote
PPCP
1993
15 years 10 months ago
1993
Use of constraint-based techniques in interactive graphics applications poses a variety of unique challenges to system implementors. This paper begins by describing how interface ...
153
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, t...
154
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...
170
click to vote
ENTCS
2006
15 years 6 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...