2850 search results - page 536 / 570 » On Timed Models and Full Abstraction |
96
Voted
RECOMB
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. One of the simplest evolutionary models has molecular sequences evolving from a common ancestor down a bifurcating phylogenetic tree, experiencing point-mutations along t...
109
Voted
EDBT
2006
ACM
16 years 22 days ago
2006
ACM
Abstract. Mobile objects have become ubiquitous in our everyday lives, ranging from cellular phones to sensors, therefore, analyzing and mining mobile data becomes an interesting p...
101
click to vote
DEXA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Fine-grained lock protocols should allow for highly concurrent transaction processing on XML document trees, which is addressed by the taDOM lock protocol family enabling...
92
Voted
ESA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Most recent papers addressing the algorithmic problem of allocating advertisement space for keywords in sponsored search auctions assume that pricing is done via a first...
71
Voted
ICSOC
2009
Springer
15 years 7 months ago
2009
Springer
In this demonstration1 we present an approach to engineering service brokering requirements and capabilities using the concepts of Service Modes. The demonstration illustrates buil...