1456 search results - page 139 / 292 » An Overview of the SODA System |
179
click to vote
CPE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
173
click to vote
HUC
1999
Springer
15 years 10 months ago
1999
Springer
Systems must provide for mobile applications to be aware of the context in which they are being used. This is necessary to permit adaptation to heterogeneity of hosts and networks...
185
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
151
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. There is much interest in using the Unified Modeling Language (UML) for architectural description – those techniques by which architects sketch, capture, model, docume...
176
click to vote
IFL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...