147 search results - page 10 / 30 » A Transformation System for Definite Programs Based on Termi... |
TII
2010
13 years 3 months ago
2010
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
VLDB
1994
ACM
14 years 19 days ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
APAQS
2001
IEEE
14 years 7 days ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...