14850 search results - page 2601 / 2970 » The Security of |
197
click to vote
SAFECOMP
2005
Springer
16 years 11 days ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
163
click to vote
SAFECOMP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
172
click to vote
SAFECOMP
2005
Springer
16 years 11 days ago
2005
Springer
Event trees are a popular technique for modelling accidents in system safety analyses. Bayesian networks are a probabilistic modelling technique representing influences between unc...
175
click to vote
SDMW
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Database outsourcing is becoming increasingly popular introducing a new paradigm, called database-as-a-service, where a client’s database is stored at an external servi...
218
click to vote
SPC
2005
Springer
16 years 11 days ago
2005
Springer
Alice first meets Bob in an entertainment shop, then, they wish to share multimedia content, but Do they know what are trustworthy users? How do they share such information in a s...