2850 search results - page 521 / 570 » On Timed Models and Full Abstraction |
DNIS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This work proposes LEASE, a novel Mobile-P2P lease-based economic incentive model, in which data requestors need to pay the price (in virtual currency) of their requested...
APNOMS
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Despite the importance of seamless connectivity in ubiquitous computing, research for seamless connectivity has not been considered properly. To provide seamless connecti...
CDB
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
COMPSAC
2004
IEEE
14 years 2 months ago
2004
IEEE
While meta-heuristics are effective for solving large-scale combinatorial optimization problems, they result from time-consuming trial-and-error algorithm design tailored to speci...
FLOPS
2006
Springer
14 years 2 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....