2558 search results - page 198 / 512 » Model Composition Contracts |
163
Voted
GVD
2000
15 years 6 months ago
2000
In this paper we propose a meta-modeling approach to adaptive knowledge management. It extends previous work by introducing an application-specific layer which allows to specify m...
221
click to vote
NADA
1998
Springer
15 years 8 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
111
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present a model for choreography `a la WS-CDL and formalize it in DSTL(x), a spatio
141
click to vote
WSC
2007
15 years 7 months ago
2007
Equity Indexed Annuities (EIAs) are popular insurance contracts. EIAs provide the insured with a guaranteed accumulation rate on their premium at maturity. In addition, the insure...
134
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...