85 search results - page 16 / 17 » Open Bisimulation, Revisited |
FASE
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...
FGCS
2006
13 years 5 months ago
2006
Seeing the Earth crust as criss-crossed by faults filled with fluid at close to lithostatic pressures, we develop a model in which its elastic modulii are different in net tension...
SCIENTOMETRICS
2010
13 years 4 months ago
2010
This paper revisits an aspect of citation theory (i.e., citer motivation) with respect to the Mathematical Review system and the reviewer’s role in mathematics. We focus on a se...
CHI
2010
ACM
13 years 3 months ago
2010
ACM
Hierarchical structures with large fan-outs are hard to browse and understand. In the conventional node-link tree visualization, the screen quickly becomes overcrowded as users op...
BIRTHDAY
2012
Springer
12 years 1 months ago
2012
Springer
The 40 thieves realize that the fortune in their cave is vanishing. A rumor says that Ali Baba has been granted access (in the form of a certificate) to the cave but they need evi...