2846 search results - page 439 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
182
click to vote
PPDP
2007
Springer
16 years 17 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
167
click to vote
AICT
2006
IEEE
16 years 15 days ago
2006
IEEE
In this paper, we describe the design of a highlyavailable Grid data storage system. Increased availability is ensured by data redundancy and file striping. Redundant data is com...
165
click to vote
ICALT
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper describes the design, development and qualitative evaluation of a web-based personalized assessment service of an object–oriented programming course at the University...
148
click to vote
MKM
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
173
click to vote
INFFUS
2002
15 years 6 months ago
2002
The security of computer networks plays a strategic role in modern computer systems. In order to enforce high protection levels against threats, a number of software tools have be...