1981 search results - page 253 / 397 » The State of Change: A Survey |
164
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
187
click to vote
EAGC
2004
Springer
15 years 12 months ago
2004
Springer
AS complexity of computational applications and their environments has been increased due to the heterogeneity of resources; complexity, continuous changes of the applications as w...
197
click to vote
MFCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper deals with updates of XML documents that satisfy a given schema, e.g., a DTD. In this context, when a given update violates the schema, it might be the case th...
177
click to vote
SEM
2004
Springer
15 years 12 months ago
2004
Springer
Business Intelligence (BI) systems address the demands of large scale enterprises for operational analytics, management information and decision support tasks. Building such applic...
146
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a new approach for safe execution of untrusted programs by isolating their effects from the rest of the system. Isolation is achieved by intercepting fi...