878 search results - page 2 / 176 » Choice and development |
CADE
2009
Springer
15 years 10 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
SPRINGSIM
2008
14 years 10 months ago
2008
Belief-Desire-Intention (BDI) is a powerful agent paradigm that allows for the development of so-called intelligent agents
102
click to vote
MSS
2008
IEEE
14 years 9 months ago
2008
IEEE
: This paper develops a theory of probabilistic models for risky choices. Part of this theory can be viewed as an extension of the expected utility theory to account for bounded ra...
EDOC
2008
IEEE
14 years 11 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
FOSSACS
2004
Springer
15 years 2 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...