12981 search results - page 2068 / 2597 » Model Checking (Abstract) |
193
click to vote
DEBS
2007
ACM
15 years 11 months ago
2007
ACM
Over the last decade a wide range of publish/subscribe (pub/ sub) systems have come out of the research community. However, there is little consensus on a common pub/sub API, whic...
209
click to vote
ECAL
2007
Springer
15 years 11 months ago
2007
Springer
odel of Embodiment on Abstract Systems: from Hierarchy to Heterarchy Kohei Nakajima, Soya Shinkai, Takashi Ikegami A Behavior-Based Model of the Hydra, Phylum Cnidaria Malin Aktius...
224
click to vote
ESCIENCE
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract. We study the implementation on grid systems of an efficient algorithm for demanding global optimization problems. Specifically, we consider problems arising in the geneti...
198
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
198
click to vote
WCNC
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract — Wireless frequency resources are often the limiting factor for WLAN throughput. Hence, wireless channel management is needed to mitigate co-channel interference and im...