63 search results - page 2 / 13 » Agile Modeling: A Brief Overview |
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our su...
105
click to vote
ISCAPDCS
2004
15 years 1 months ago
2004
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient and simple. In addition to providing a high-level...
105
click to vote
AGI
2008
15 years 1 months ago
2008
We give a brief overview of the main characteristics of diagrammatic reasoning, analyze a case of human reasoning in a mastermind game, and explain why hybrid representation system...
COOPIS
2003
IEEE
15 years 4 months ago
2003
IEEE
The overall purpose of this article is partly to give a brief overview of the TangO conceptual model, partly to explore the Jini technology as a means for support of pervasive syst...
132
click to vote
GIAE
2004
Springer
15 years 5 months ago
2004
Springer
This paper first gives a brief overview over some interesting descriptions of conic sections, showing formulations in the three geometric algebras of Euclidean spaces, projective ...