4930 search results - page 757 / 986 » Testing a Safety-Critical Application |
179
click to vote
LOPSTR
2004
Springer
16 years 1 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
195
click to vote
MDM
2004
Springer
16 years 1 days ago
2004
Springer
In order to fully realize the potential of sensor networks, energy awareness should be incorporated into every stage of the network design and operation. In this paper, we address...
175
click to vote
RE
2004
Springer
16 years 18 hour ago
2004
Springer
Jackson’s Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside the computer helping the developer to focus on the problem domai...
193
click to vote
WABI
2004
Springer
16 years 12 hour ago
2004
Springer
Abstract. Sequence alignment algorithms have a long standing tradition in bioinformatics. In this paper, we formulate an extension to existing local alignment algorithms: local ali...
148
Voted
WEBI
2004
Springer
16 years 12 hour ago
2004
Springer
— Distributed data mining has recently caught a lot of attention as there are many cases where pooling distributed data for mining is probibited, due to either huge data volume o...