846 search results - page 78 / 170 » Separating Designs from Implementations: Role-Based Software... |
177
click to vote
ICCS
2001
Springer
15 years 10 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...
122
click to vote
KI
2007
Springer
16 years 12 days 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...
155
click to vote
ITNG
2008
IEEE
16 years 20 days 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...
185
click to vote
ISSRE
2008
IEEE
16 years 20 days 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...
177
click to vote
CGO
2011
IEEE
14 years 9 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...