1604 search results - page 55 / 321 » Development Separation in Lambda-Calculus |
137
Voted
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
The principle of separation of concerns has long been used by software engineers to manage the complexity of software system development. Programming languages help software engin...
114
click to vote
AOSD
2003
ACM
15 years 6 months ago
2003
ACM
We present aspect-oriented programming in Jiazzi. Jiazzi enhances Java with separately compiled, externally-linked code modules called units. Besides making programming in Java ge...
92
Voted
AI
2000
Springer
15 years 19 days ago
2000
Springer
Credal networks are models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Evidence suggests that credal ...
107
Voted
SIGCSE
2009
ACM
16 years 1 months ago
2009
ACM
This paper considers how gaming has been infused into the computing curriculum of institutions in the United States. To increase motivation of students and improve retention, many...
167
click to vote
CEEMAS
2007
Springer
15 years 7 months ago
2007
Springer
The construction of web applications is a complex task as different kinds of technologies need to be integrated. To ease the task of developing web applications many different we...