2850 search results - page 498 / 570 » On Timed Models and Full Abstraction |
IPPS
2006
IEEE
14 years 5 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...
QEST
2006
IEEE
14 years 5 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...
SENSYS
2006
ACM
14 years 5 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...
CEC
2005
IEEE
14 years 4 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ļ¬...
ICCV
2005
IEEE
14 years 4 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...