2558 search results - page 58 / 512 » Model Composition Contracts |
144
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...
99
Voted
ICANN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a model of a recurrent neural network, embodied in a minimalist articulated agent with a single link and joint. The configuration of the agent defined by one...
124
Voted
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
134
Voted
WOLLIC
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
141
click to vote
ACMICEC
2005
ACM
15 years 9 months ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...