3555 search results - page 487 / 711 » Security-Critical System Development with Extended Use Cases |
149
click to vote
RTSS
1998
IEEE
15 years 9 months ago
1998
IEEE
Previous ultra-dependable real-time computing architectures have been specialised to meet the requirements of a particular application domain. Over the last two years, a consortiu...
188
click to vote
WICSA
2004
15 years 7 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
170
click to vote
TCS
2008
15 years 5 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
141
click to vote
IROS
2007
IEEE
15 years 12 months ago
2007
IEEE
— A cognitive robot system has to acquire and efficiently store vast knowledge about the world it operates in. To cope with every day tasks, a robot needs to learn, classify and...
176
click to vote
COOPIS
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...