3346 search results - page 479 / 670 » A Generic Rendering System |
193
click to vote
IFIPTCS
2010
15 years 3 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
189
click to vote
SICHERHEIT
2010
15 years 3 months ago
2010
Intrusion-tolerant replication enables the construction of systems that tolerate a finite number of malicious faults. An arbitrary number of faults can be tolerated during system ...
187
click to vote
JSAC
2011
15 years 26 days ago
2011
— The growing interest in vehicular ad hoc networks (VANETs) enables decentralized traveler information systems to become more feasible and effective in Intelligent Transportatio...
180
click to vote
TMC
2010
15 years 18 days ago
2010
The integration of different wireless access technologies combined with the huge characteristic diversity of supported services in next-generation wireless systems creates a real h...
283
click to vote
HICSS
2011
IEEE
14 years 9 months ago
2011
IEEE
Although our society is critically dependent on software systems, these systems are mainly secured by protection mechanisms during operation instead of considering security issues...