2270 search results - page 410 / 454 » Modelling Secure IT Systems - A Survey |
128
Voted
FM
2005
Springer
15 years 9 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...
128
click to vote
ACIVS
2005
Springer
15 years 9 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...
129
Voted
EUROSSC
2008
Springer
15 years 4 months 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...
236
Voted
CSE
2011
IEEE
14 years 3 months ago
2011
IEEE
— In network based applications, packet capture is the main area that attracts many researchers in developing traffic monitoring systems. Along with the packet capture, many othe...
148
Voted
ACMICEC
2006
ACM
15 years 9 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...