3801 search results - page 222 / 761 » An Approach to Modeling Software Safety |
168
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...
166
click to vote
ECIS
2003
15 years 7 months ago
2003
In this paper we examine, how the benefits of Supply Chain Management, as announced by the literature and widely accepted, can simulatively be proven. We first present selected re...
181
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
147
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
275
click to vote
JUCS
2010
15 years 5 months ago
2010
Abstract: The application of Web 2.0 tools and methodologies in the domain of eGovernment is not yet a fully exploited area due to the immaturity of the software support, and the l...