Sciweavers

321 search results - page 13 / 65
» Specifying Executable Platform-Independent Models using OCL
Sort
View
HT
2003
ACM
14 years 1 months ago
Integrating user operations in multichannel hypermedia
Web Applications are progressively becoming multi-channel and cross-channel. The “same” service should be made available in different delivery environments and devices. A user...
Franca Garzotto, Vito Perrone
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
14 years 2 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
HPCN
1998
Springer
14 years 26 days ago
Application Execution Steering using On-the-Fly Performance Prediction
The execution of an application on a high performance system requires parameters concerning the problem in hand, and those that determine the system mapping, to be specified by a ...
Darren J. Kerbyson, Efstathios Papaefstathiou, Gra...
UML
1999
Springer
14 years 27 days ago
Towards a UML Extension for Hypermedia Design
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...
Hubert Baumeister, Nora Koch, Luis Mandel
WSC
1997
13 years 10 months ago
Java Based Conservative Distributed Simulation
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...
Alois Ferscha, Michael Richter