878 search results - page 2 / 176 » Choice and development |
CADE
2009
Springer
14 years 8 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
13 years 8 months ago
2008
Belief-Desire-Intention (BDI) is a powerful agent paradigm that allows for the development of so-called intelligent agents
MSS
2008
IEEE
13 years 7 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
13 years 9 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
14 years 22 days 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 ...