7918 search results - page 306 / 1584 » Model Composition Directives |
127
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
124
Voted
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
The aim of this paper is to provide tool developers with effective strategies to minimize the risks, costs, effort and time involved in handling model interchange issues. Specific...
125
click to vote
HPDC
1996
IEEE
15 years 8 months ago
1996
IEEE
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
130
Voted
SBP
2010
Springer
15 years 8 months ago
2010
Springer
We propose a dynamical systems model that captures the daily fluctuations of human weight change, incorporating both physiological and psychological factors. The model consists of...
109
Voted
DSVIS
1995
Springer
15 years 8 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...