2558 search results - page 213 / 512 » Model Composition Contracts |
126
Voted
COMGEO
1999
ACM
15 years 4 months ago
1999
ACM
We present a new approach for simplifying models composed of rational spline patches. Given an input model, the algorithm computes a new approximation of the model in terms of cub...
173
click to vote
IEAAIE
2011
Springer
14 years 8 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
143
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
The Semantic Web vision aims to integrate and convert the vast amount of information available on the Internet into a machine-understandable network. The objective is to promote kn...
145
click to vote
UML
2000
Springer
15 years 8 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
142
Voted
EOR
2008
15 years 5 months ago
2008
We develop a multi-stage stochastic programming model for international portfolio management in a dynamic setting. We model uncertainty in asset prices and exchange rates in terms...