2145 search results - page 248 / 429 » Architectural Specifications in CASL |
152
click to vote
PDP
1996
IEEE
15 years 10 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
166
Voted
WETICE
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper describes a security architecture designed to support role-based access control for distributed object systems in a large-scale, multi-organisational enterprise in whic...
131
click to vote
ISN
1997
Springer
15 years 10 months ago
1997
Springer
The evolution of the global telecommunications industry into an open services market presents developers of telecommunication service and management systems with many new challeng...
152
click to vote
IEAAIE
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we discuss the design and development of an interlingua for a large-scale MT project. We also discuss how the resulting KANT interlingua constrains complexity, suppo...
204
click to vote
ICCL
1992
IEEE
15 years 10 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...