Sciweavers

2558 search results - page 106 / 512
» Model Composition Contracts
Sort
View

Lecture Notes
636views
17 years 2 months ago
Financial Stochastics
This is a long lecture note about Financial Stochastic. It covers several topics such as Martingale Representation, Finite Economies, Black-Scholes Models, American Options, Paymen...
Harry van Zanten
146
Voted
CONCUR
2009
Springer
15 years 10 months ago
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
Vashti Galpin, Luca Bortolussi, Jane Hillston
APN
2007
Springer
15 years 10 months ago
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
Kyller Costa Gorgônio, Jordi Cortadella, Fei...
HT
1999
ACM
15 years 8 months ago
Do you have the Time? Composition and Linking in Time-Based Hypermedia
Most hypermedia models and systems do not incorporate time explicitly. This prevents authors from having direct control over the temporal aspects of a presentation. In this paper ...
Lynda Hardman, Jacco van Ossenbruggen, K. Sjoerd M...
SLE
2009
Springer
15 years 8 months ago
Multi-view Composition Language for Software Product Line Requirements
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
Mauricio Alférez, João Santos, Ana M...