14084 search results - page 198 / 2817 » A Theory for Game Theories |
178
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. For organizations to flourish in a changing environment, their business processes need to be flexible. Designing flexible business processes is a challenge. We use Weick&...
161
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
181
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension ...
209
click to vote
OHS
2000
Springer
15 years 10 months ago
2000
Springer
This paper introduces a Semiotic Appoach to Hypertext Theory. Having been applied to Informatics only in recent years, Semiotics promises a broader understanding of Hypertext as a ...
172
click to vote
JAC
2008
15 years 8 months ago
2008
In this paper we emphasize the links between model theory and tilings. More precisely, after giving the definitions of what tilings are, we give a natural way to have an interpreta...