3886 search results - page 771 / 778 » Toward Recovery-Oriented Computing |
216
Voted
CONCUR
2004
Springer
16 years 25 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
219
Voted
EWSA
2004
Springer
16 years 24 days ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
185
Voted
ICCS
2004
Springer
16 years 24 days ago
2004
Springer
Our goal is to develop the capability for characterizing the three-dimensional geological structure and mechanical properties of individual sites and complete basins in earthquake-...
247
Voted
ICSOC
2004
Springer
16 years 24 days ago
2004
Springer
CiteSeer is currently a very large source of meta-data information on the World Wide Web (WWW). This meta-data is the key material for the Semantic Web. Still, CiteSeer is not yet...
207
Voted
VLDB
2004
ACM
16 years 23 days ago
2004
ACM
Link analysis methods show that the interconnections between web pages have lots of valuable information. The link analysis methods are, however, inherently oriented towards analy...