304 search results - page 38 / 61 » An Online Programming Assessment Tool |
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
WETICE
2000
IEEE
13 years 12 months ago
2000
IEEE
NASA’s Earth Science Information Partnership Federation is an experiment funded to assess the ability of a group of widely heterogeneous earth science data or service providers ...
ICALT
2010
IEEE
13 years 7 months ago
2010
IEEE
—Adaptive educational hypermedia allows lessons to be personalized according to the needs of the learner. However, to achieve this, content must be split into stand-alone fragmen...
ACSAC
2002
IEEE
14 years 15 days ago
2002
IEEE
Corruption or disclosure of sensitive user documents can be among the most lasting and costly effects of malicious software attacks. Many malicious programs specifically target fi...