1054 search results - page 63 / 211 » From a Verified Kernel towards Verified Systems |
160
click to vote
AP2PC
2005
Springer
15 years 8 months ago
2005
Springer
Since there is no method to verify the trustworthiness of shared files in P2P file sharing systems, malicious peers can spread untrustworthy files to the system. In order to pre...
139
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We propose the sensor network system using the microcomputer board that can connect to the Internet. This proposed system can acquire information from the sensor of the m...
141
click to vote
IFIP
2005
Springer
15 years 11 months ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
184
click to vote
SP
2002
IEEE
15 years 5 months ago
2002
IEEE
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
— Switched dynamical systems are known to exhibit border collision, in which a particular operation is terminated and a new operation is assumed as one or more parameters are var...