2251 search results - page 318 / 451 » Specification and Implementation Problems for C |
145
click to vote
AAAI
2008
15 years 7 months ago
2008
Partially Observable Markov Decision Processes have been studied widely as a model for decision making under uncertainty, and a number of methods have been developed to find the s...
128
click to vote
AISC
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familia...
161
click to vote
AOSD
2008
ACM
15 years 7 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
132
Voted
DSVIS
2006
Springer
15 years 6 months ago
2006
Springer
Most existing graphical user interfaces are usually designed for a fixed context of use, thus making them rather difficult to modify for other contexts of use, such as for other us...
195
click to vote
ECMDAFA
2008
Springer
15 years 6 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...