2558 search results - page 329 / 512 » Model Composition Contracts |
129
click to vote
DALT
2006
Springer
15 years 8 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
144
click to vote
SPLC
2010
15 years 6 months ago
2010
Abstract. In product line engineering various stakeholders like sales and marketing people, product managers, and technical writers are involved in creating and adapting documents ...
122
Voted
ITEE
2007
15 years 6 months ago
2007
1 A knowledge acquisition process that has been implemented by a virtual team for the development of a knowledge based early warning system in Material Recovery Facilities (MRFs) o...
124
Voted
ECIS
2001
15 years 6 months ago
2001
The majority of SMEs have neither the internal expertise nor financial resources to enable in-house development of e-business and therefore turn to the services of website design ...
142
Voted
NIPS
2001
15 years 6 months ago
2001
Estimating insurance premia from data is a difficult regression problem for several reasons: the large number of variables, many of which are discrete, and the very peculiar shape...