1940 search results - page 158 / 388 » Graph Transformation with Variables |
151
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
170
click to vote
FUIN
2007
15 years 3 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
128
Voted
GG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are creat...
104
Voted
WEBI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we particularly focused our attention on how to enhance expressivity of ontologies when used as organized space values in a catalogue request process. Using the Wis...
143
Voted
ASPDAC
1999
ACM
15 years 8 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...