2850 search results - page 498 / 570 » On Timed Models and Full Abstraction |
76
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we consider, compare and analyze three game theoretical Grid resource allocation mechanisms. Namely, 1) the non-cooperative sealed-bid method where tasks are auction...
97
Voted
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract. We present a compositional theory of system veriļ¬cation, where speciļ¬cations assign real-numbered costs to systems. These costs can express a wide variety of quantita...
83
Voted
SENSYS
2006
ACM
15 years 6 months ago
2006
ACM
Event-driven programming is a popular model for writing programs for tiny embedded systems and sensor network nodes. While event-driven programming can keep the memory overhead do...
105
Voted
CEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract- Evolutionary Algorithms (EAs) have the tendency to converge quickly into a single solution in the search space. However, many complex search problems require the identiļ¬...
93
Voted
ICCV
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract. This paper presents a method to segment the hand over complex backgrounds, such as the face. The similar colors and texture of the hand and face make the problem particul...