2268 search results - page 192 / 454 » The Essence of Form Abstraction |
101
Voted
AUSAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A real-world labor market has complex worksite interactions between a worker and an employer. This paper investigates the behavior patterns of workers and employers with ...
139
click to vote
CAV
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
141
click to vote
APWEB
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Sensor deployment is an important issue in designing sensor networks. In this paper, particle swarm optimization (PSO) approach is applied to maximize the coverage based ...
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In a process calculus, an agent guarantees responsive usage of a channel name r if a communication along r is guaranteed to eventually take place. Responsiveness is impor...
163
Voted
BROADNETS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract-- Optical Networks with wavelength routing are expected to form the backbone in the next generation wide area networks. The traffic grooming problem in optical networks is...