7049 search results - page 1074 / 1410 » Data Abstraction for CSP-OZ |
179
Voted
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
145
Voted
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
164
Voted
GI
2007
Springer
16 years 1 months ago
2007
Springer
: Business information systems provide computer support for decision making across huge data sets. Smart Items are miniaturized computer and sensing systems embedded into physical ...
198
Voted
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
159
Voted
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...