76 search results - page 5 / 16 » Specification of real-time and hybrid systems in rewriting l... |
151
click to vote
DATE
1999
IEEE
15 years 5 months ago
1999
IEEE
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
126
click to vote
RCC
2002
15 years 25 days ago
2002
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
103
click to vote
WOODPECKER
2001
15 years 2 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
102
click to vote
FORTE
2010
15 years 2 months ago
2010
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
110
click to vote
GCC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...