8109 search results - page 490 / 1622 » A Model of Component-Based Programming |
229
click to vote
TABLEAUX
1995
Springer
15 years 11 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
171
click to vote
SOCO
2008
Springer
15 years 7 months ago
2008
Springer
We introduce a new method for data clustering based on a particular Gaussian mixture model (GMM). Each cluster of data, modeled as a GMM into an input space, is interpreted as a hy...
230
click to vote
IFIP
2009
Springer
15 years 5 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
214
click to vote
CISIS
2009
IEEE
16 years 2 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
216
click to vote
CSSE
2008
IEEE
16 years 2 months ago
2008
IEEE
—In this paper, a model of Embedded DC Motor Ethernet Control System is proposed with analysis on transmission time delay and data packet dropout. Based on this model, the ECS is...