376 search results - page 44 / 76 » Constraint modules: An introduction |
INTELLCOMM
2004
Springer
14 years 3 months ago
2004
Springer
This paper proposes an approach to behaviour-based discovery of Web Services by which business rules that govern service behaviour are described as a policy. The policy is represen...
COMPSAC
1996
IEEE
14 years 2 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
IWSAS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...
HYBRID
1995
Springer
14 years 1 months ago
1995
Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
ISSS
1995
IEEE
14 years 1 months ago
1995
IEEE
This paper presents a system level design methodology and its implementation as CAD tool for the optimization of heterogeneous multiprocessor systems. These heterogeneous systems,...