8644 search results - page 188 / 1729 » On the Composition of Secure Systems |
184
click to vote
CONCUR
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
131
click to vote
LCPC
1993
Springer
15 years 10 months ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...
269
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
In this demonstration, we present a database over complex documents, which, in addition to a structured text content, also has update information, annotations, and embedded object...
181
click to vote
VL
2003
IEEE
15 years 12 months ago
2003
IEEE
Web services are increasingly attracting attention for their ability to provide standard interfaces to heterogeneous distributed services. Through these standard interfaces, it is...
160
click to vote
ACL
2009
15 years 4 months ago
2009
Identifying whether a multi-word expression (MWE) is compositional or not is important for numerous NLP applications. Sense induction can partition the context of MWEs into semant...