950 search results - page 118 / 190 » Process Algebra in PVS |
149
click to vote
ICASSP
2008
IEEE
16 years 24 days ago
2008
IEEE
The concept of tensor rank, introduced in the twenties, has been popularized at the beginning of the seventies. This has allowed to carry out Factor Analysis on arrays with more t...
173
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
172
click to vote
INEX
2004
Springer
15 years 11 months ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...
145
click to vote
SP
1996
IEEE
15 years 10 months ago
1996
IEEE
Security properties such as con dentiality and authenticity may be considered in terms of the ow of messages within a network. To the extent that this characterisation is justi ed...
154
click to vote
ECTEL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Expressing generality, recognising and analysing patterns and articulating structure is a complex task and one that is invariably problematic for students. Nonetheless, v...