846 search results - page 100 / 170 » Separating Designs from Implementations: Role-Based Software... |
127
click to vote
POS
1994
Springer
15 years 5 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
112
click to vote
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
In stand-alone databases, the two functions of ordering the transaction commits and making the effects of transactions durable are generally performed in one action, namely in the...
119
click to vote
SIGMETRICS
2002
ACM
15 years 1 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
112
click to vote
PROMS
2001
Springer
15 years 6 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
117
click to vote
WCRE
1993
IEEE
15 years 5 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...