1186 search results - page 122 / 238 » Progressive Modeling |
VMCAI
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
WEA
2005
Springer
14 years 3 months ago
2005
Springer
We study queueing strategies in the adversarial queueing model. Rather than discussing individual prominent queueing strategies we tackle the issue on a general level and analyze c...
ICALT
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper an instructional framework is proposed for supporting personalised learning in the context of webbased adaptive educational hypermedia systems. A learning-focused ap...
SC
2000
ACM
14 years 2 months ago
2000
ACM
This paper reports the progress being made towards complete turbo-pump simulation capability for liquid rocket engines. The Space Shuttle Main Engine (SSME) turbo-pump impeller is...
ICALP
1998
Springer
14 years 2 months ago
1998
Springer
In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star...