3706 search results - page 228 / 742 » The Transformational Approach to Program Development |
106
click to vote
CPAIOR
2006
Springer
15 years 7 months ago
2006
Springer
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...
115
click to vote
AAAI
2007
15 years 5 months ago
2007
Developing scalable coordination algorithms for multi-agent systems is a hard computational challenge. One useful approach, demonstrated by the Coverage Set Algorithm (CSA), explo...
103
click to vote
JSW
2007
15 years 3 months ago
2007
—As the Internet users increase, the need to protect web servers from malicious users has become a priority in many organizations and companies. ...
144
click to vote
ENTCS
2002
15 years 3 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
125
click to vote
MPC
2004
Springer
15 years 8 months ago
2004
Springer
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...