619 search results - page 100 / 124 » IFIP |
139
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
: Speech recognition is always looked upon as a fascinating field in human computer interaction. It is one of the fundamental steps towards understanding human cognition and their ...
105
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
101
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Most of all software systems have to be changed after their initial deployment. This is not only because of changing knowledge and expectations about our domains and systems, but a...