2722 search results - page 297 / 545 » The Model Evolution Calculus |
114
Voted
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
124
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We study how the choice of packet scheduling algorithms influences end-to-end performance on long network paths. Taking a network calculus approach, we consider both deterministi...
124
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper presents a modeling process in order to produce a realistic simulation of crowds in the ancient Greek agora of Argos. This place was a social theater in which two kinds...
155
Voted
KBSE
1995
IEEE
15 years 7 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
124
Voted
ER
1997
Springer
15 years 7 months ago
1997
Springer
Turbulence is in the nature of business environments. Changes brought about because of different requirements such as social, political, technical and economic, exert pressures on ...