1078 search results - page 210 / 216 » Modelling and Verifying of e-Commerce Systems |
107
click to vote
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Most of the current trust models in peer-to-peer (P2P) systems are identity based, which means that in order for one peer to trust another, it needs to know the other peer’s ide...
103
click to vote
CDVE
2007
Springer
15 years 5 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
112
click to vote
MOBICOM
2005
ACM
15 years 5 months ago
2005
ACM
Next generation fixed wireless broadband networks are being increasingly deployed as mesh networks in order to provide and extend access to the internet. These networks are chara...
114
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
113
click to vote
SIGMOD
2010
ACM
15 years 3 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...