7988 search results - page 261 / 1598 » A Useful Undecidable Theory |
101
Voted
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
113
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Empirical game theory allows studying the strategic interactions of agents in simulations. Specifically, traditional game theory describes such interactions by an analytical model...
95
Voted
JIIS
2008
15 years 23 days ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
96
Voted
IAT
2010
IEEE
14 years 10 months ago
2010
IEEE
Group modeling is still an open challenge problem in pedestrian crowd simulations. Most existing work is based on socio-psychological models which can only describe the dynamics o...
96
Voted
ROOM
2000
15 years 2 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...