846 search results - page 78 / 170 » Separating Designs from Implementations: Role-Based Software... |
111
click to vote
ICCS
2001
Springer
15 years 6 months ago
2001
Springer
GRM and PROVE were originally designed and implemented as part of the P-GRADE graphical parallel program development environment running on clusters. In the framework of the bigges...
KI
2007
Springer
15 years 7 months ago
2007
Springer
The paper describes the Executable Design Concept which is one of the main components of HeKatE: Hybrid Knowledge Engineering methodology. HeKatE project aims at developing a metho...
113
click to vote
ITNG
2008
IEEE
15 years 8 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
134
click to vote
ISSRE
2008
IEEE
15 years 8 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
118
click to vote
CGO
2011
IEEE
14 years 5 months ago
2011
IEEE
—This paper describes our trace-based JIT compiler (trace-JIT) for Java developed from a production-quality method-based JIT compiler (method-JIT). We first describe the design a...