2496 search results - page 173 / 500 » Error-detecting properties of languages |
132
click to vote
LADS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract The variety of existing agent-based simulations is overwhelming. However – especially when comparing agent-based simulation to other simulation paradigms, a reference fr...
131
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Preferences and uncertainty occur in many real-life problems. The theory of possibility is one way of dealing with uncertainty, which allows for easy integration with fuzzy prefer...
117
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
148
click to vote
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
127
click to vote
HCW
1998
IEEE
15 years 8 months ago
1998
IEEE
Java's design goals of portability, safety, and ubiquity make it a potentially ideal language for large-scale heterogeneous computing. One of the remaining challenges is to c...