1515 search results - page 93 / 303 » On the relation of aspects and monads |
FM
2003
Springer
14 years 2 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
HPDC
2002
IEEE
14 years 1 months ago
2002
IEEE
Rather than painful, manual, static, per-connection optimization of TCP buffer sizes simply to achieve acceptable performance for distributed applications [8, 10], many researcher...
ECWEB
2001
Springer
14 years 1 months ago
2001
Springer
Information Technology has changed our life and society already to such an extent that even our visions cannot exist without technology and its applications. And this change is acc...
CINQ
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...
DSVIS
1995
Springer
14 years 17 days ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...