2830 search results - page 83 / 566 » A Development Tool for E-learning Applications |
EUROPAR
2005
Springer
15 years 3 months ago
2005
Springer
Within the EP-Cache project, the Performance Cockpit has been developed to provide a unified GUI for a series of performance tools. This is achieved through the establishment of a...
TGC
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
114
click to vote
TACAS
1997
Springer
15 years 2 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
101
click to vote
AOSE
2003
Springer
15 years 3 months ago
2003
Springer
As agent-oriented paradigm is reaching a significant level of acceptance by software developers, there is a lack of integrated highstraction tools for the design and development o...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The Asteroseismic Modeling Portal (AMP) provides a webbased interface for astronomers to run and view simulations that derive the properties of Sun-like stars from observations of...