5451 search results - page 940 / 1091 » Typed Operational Semantics |
122
Voted
FASE
2000
Springer
15 years 7 months ago
2000
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
140
Voted
ICDCS
2000
IEEE
15 years 7 months ago
2000
IEEE
Widely deployed multimedia services are expected to accommodate clients in a highly heterogeneous environment. Clients of a multimedia service may vary greatly in processing and c...
135
Voted
MA
2000
Springer
15 years 7 months ago
2000
Springer
Multiple, highly autonomous, satellite systems are envisioned in the near future because they are capable of higher performance, lower cost, better fault tolerance, reconfigurabil...
115
Voted
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...
118
Voted
DOOD
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. A simple model for method-based authorization is defined and an algorithm is presented for testing in compile-time whether a given database schema violates authorization...