1078 search results - page 111 / 216 » Modelling and Verifying of e-Commerce Systems |
191
click to vote
ITRUST
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Past evidence has shown that generic approaches to recommender systems based upon collaborative filtering tend to poorly scale. Moreover, their fitness for scenarios su...
140
click to vote
FORTE
2009
15 years 2 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
124
click to vote
HOTI
2005
IEEE
15 years 10 months ago
2005
IEEE
We present SPINet (Scalable Photonic Integrated Network), an optical switching architecture particularly designed for photonic integration. The performance of SPINet-based network...
131
click to vote
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
153
click to vote
PET
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...