8109 search results - page 461 / 1622 » A Model of Component-Based Programming |
189
click to vote
WCET
2008
15 years 9 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...
196
click to vote
EUROPLOP
2006
15 years 9 months ago
2006
Relationships between objects are almost as important to designs as the objects themselves. Most programming languages do not support relationships well, so programmers must imple...
199
click to vote
AAAI
1996
15 years 9 months ago
1996
We describe a program called SketchIT that transforms a single sketch of a mechanical device into multiple families of new designs. It represents each of these families with a &qu...
210
click to vote
AMAI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...
177
click to vote
ENTCS
2002
15 years 7 months ago
2002
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new gr...