2492 search results - page 244 / 499 » On the General Signature Trees |
189
click to vote
EDCC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
174
click to vote
NOSSDAV
2005
Springer
16 years 4 days ago
2005
Springer
Success of peer-to-peer applications in many cases is attributed to user altruism, where a user contributes some of its own resources to facilitate performance of other users. Thi...
211
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
Evolutionary relationships among species can be represented by a phylogenetic tree and inferred by optimising some measure of fitness, such as the statistical likelihood of the t...
188
Voted
ICDT
2010
ACM
15 years 11 months ago
2010
ACM
In XML data exchange, a schema mapping specifies rules for restructuring a source document under the target schema, and queries over the target document must be answered in a way...
194
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
During a disaster, emergency response operations can benefit from the establishment of a wireless ad hoc network. We propose the use of autonomous robots that move inside a disas...