8109 search results - page 223 / 1622 » A Model of Component-Based Programming |
146
click to vote
HYBRID
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
156
click to vote
ACL
2006
15 years 7 months ago
2006
The ability to compress sentences while preserving their grammaticality and most of their meaning has recently received much attention. Our work views sentence compression as an o...
166
click to vote
CRIWG
2006
15 years 7 months ago
2006
This paper presents a system called CodeBreaker for supporting small and medium size software development based on an extreme programming principle. The system follows a decentrali...
151
click to vote
ENTCS
2008
15 years 6 months ago
2008
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
152
Voted
CCE
2010
15 years 3 months ago
2010
Sustainability has recently emerged as a key issue in process systems engineering (PSE). Mathematical programming techniques offer a general modeling framework for including enviro...