613 search results - page 39 / 123 » Executable Visual Contracts |
108
Voted
JCP
2008
15 years 18 days ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
116
Voted
IIE
2007
15 years 16 days ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
124
Voted
ESEC
1995
Springer
15 years 4 months ago
1995
Springer
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
98
Voted
LISA
2007
15 years 2 months ago
2007
Support for distributed application management in large-scale networked environments remains in its early stages. Although a number of solutions exist for subtasks of application ...
93
Voted
IEEEMSP
2002
IEEE
15 years 5 months ago
2002
IEEE
–This paper is an experimental study on the performance of the two major methods for macro-level similarity measurement: linear weighted merging and logical retrieval. Performanc...