4930 search results - page 419 / 986 » Testing a Safety-Critical Application |
156
Voted
ENTER
2006
Springer
15 years 10 months ago
2006
Springer
A cultural institution such as a museum needs to attract visitors. Due to the fact that Internet has become an important information and marketing channel, the question of using a...
180
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
152
Voted
WSC
2007
15 years 9 months ago
2007
Many of today’s military services and applications run on geographically distributed sites and need to be tested and evaluated under realistic scenarios with many unpredictable ...
232
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...
193
click to vote
ACISP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this article we introduce redundant trinomials to represent elements of finite fields of characteristic 2. This paper develops applications to cryptography, especial...