8022 search results - page 373 / 1605 » Predictability in Critical Systems |
194
click to vote
ESOP
2007
Springer
16 years 29 days ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
169
click to vote
DATE
2006
IEEE
16 years 26 days ago
2006
IEEE
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...
141
click to vote
IAT
2005
IEEE
16 years 12 days ago
2005
IEEE
Being able to trust in a system behavior is of prime importance, particularly within the context of critical applications as embedded or real-time systems. We want to ensure that ...
161
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
167
click to vote
AMR
2003
Springer
16 years 1 days ago
2003
Springer
As more and more knowledge and information becomes available through computers, a critical capability of systems supporting knowledge management is the classification of documents ...