2979 search results - page 552 / 596 » Modelling secure multiagent systems |
FM
2005
Springer
15 years 5 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
114
click to vote
ACMICEC
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we first provide a literature review about the economics of online music. Second, we then present an economical model for online music by incorporating various param...
ACIVS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Image processing is widely used in many applications, including medical imaging, industrial manufacturing and security systems. In these applications, the size of the ima...
EUROSSC
2008
Springer
15 years 27 days ago
2008
Springer
Equipment used in the construction domain is often hired in order to reduce cost and maintenance overhead. The cost of hire is dependent on the time period involved and does not ta...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Once quantum computers reach maturity most of today's traditional cryptographic schemes based on RSA or discrete logarithms become vulnerable to quantum-based attacks. Hence, ...