2598 search results - page 210 / 520 » The Abstract Immune System Algorithm |
158
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract— A power optimal scheduling algorithm that guarantees desired throughput and bounded delay to each user is developed for fading multi-access multi-band channels that can...
154
click to vote
PERVASIVE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we present Microsearch, a search system suitable for small devices used in ubiquitous computing environments. Akin to a desktop search engine, Microsearch ...
176
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
145
click to vote
WISE
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Wiki systems are becoming an important part of the information system of many organisations and communities. This introduce the issue of the data availability in case of ...
152
click to vote
CSMR
2005
IEEE
16 years 2 days ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...