8109 search results - page 53 / 1622 » A Model of Component-Based Programming |
ESOP
2008
Springer
14 years 7 months ago
2008
Springer
CORR
1998
Springer
14 years 5 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
FORTE
2007
14 years 7 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
STOC
2012
ACM
12 years 8 months ago
2012
ACM
This work deals with the power of linear algebra in the context of multilinear computation. By linear algebra we mean algebraic branching programs (ABPs) which are known to be com...
HICSS
2003
IEEE
14 years 11 months ago
2003
IEEE
This paper presents a generic model driven approach to enable Quality of Service (QoS) modeling and realization for component based middleware platforms. We describe a QoS metamod...