1585 search results - page 123 / 317 » A framework for computer-aided validation |
115
click to vote
DSRT
2002
IEEE
15 years 8 months ago
2002
IEEE
Simulation has always been a valuable tool for experimentation and validation of models, architectures and mechanisms in the field of networking. In the case of the DiffServ frame...
132
Voted
SUM
2009
Springer
15 years 8 months ago
2009
Springer
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...
129
click to vote
MA
1999
Springer
15 years 7 months ago
1999
Springer
In this paper we present practical experiences gathered from the employment of two popular Java-based mobile-agent platforms, IBM's Aglets and Mitsubishi's Concordia. We...
138
click to vote
AMAST
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
152
Voted
EWCBR
1998
Springer
15 years 7 months ago
1998
Springer
This paper presents the CARE-PARTNER system. Functionally, it offers via the WWW knowledge-support assistance to clinicians responsible for the long-term follow-up of stem-cell pos...