6794 search results - page 1100 / 1359 » Semantics of Visual Languages |
138
click to vote
ICESS
2005
Springer
15 years 10 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
128
click to vote
ICESS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
128
click to vote
ICTCS
2005
Springer
15 years 10 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
123
click to vote
ISSAC
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
115
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...