1760 search results - page 207 / 352 » Program Analysis Using Weighted Pushdown Systems |
131
click to vote
IFIP
1994
Springer
15 years 9 months ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...
112
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
This paper demonstrates how three stochastic process algebras can be mapped on to a generally-distributed stochastic transition system. We demonstrate an aggregation technique on ...
154
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
This paper proposes a quadratic programming (QP) approach to robust model predictive control (MPC) for constrained linear systems having both model uncertainties and bounded distu...
124
click to vote
HPCN
1997
Springer
15 years 9 months ago
1997
Springer
The performance attained by parallel programs executed on multiprocessor systems is largely in uenced both by the characteristics of the code and by those of the system architectu...
163
click to vote
TPLP
2002
15 years 4 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...