Sciweavers

51 search results - page 5 / 11
» birthday 2004
Sort
View
BIRTHDAY
2004
Springer
15 years 3 months ago
Universal Actability of and with Knowledge: Managing and Communicating Knowledge with Patterns
Managing and communicating information and knowledge with patterns entail a multitude of assumptions, interests, and validity claims. Patterns are socially constructed, and they m...
Fahri Yetim
BIRTHDAY
2004
Springer
15 years 3 months ago
Models for Data-Flow Sequential Processes
A family of mathematical models of nondeterministic data flow is introduced. These models are constructed out of sets of traces, successes, failures and divergences, cf. Hoare’s...
Mark B. Josephs
BIRTHDAY
2004
Springer
15 years 3 months ago
On a Tomographic Equivalence Between (0, 1)-Matrices
Tilings of the plane by translation show interesting regularity in the disposition of the tiles: in particular, we point out that in the case of a single tile, the obtained congur...
Maurice Nivat
BIRTHDAY
2004
Springer
15 years 3 months ago
Seeing Beyond Divergence
A long-standing complaint about the theory of CSP has been that all theories which encompass divergence are divergence-strict, meaning that nothing beyond the first divergence ca...
A. W. Roscoe
BIRTHDAY
2004
Springer
15 years 3 months ago
Incremental Reasoning for Object Oriented Systems
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...
Neelam Soundarajan, Stephen Fridella