Sciweavers

2598 search results - page 279 / 520
» The Abstract Immune System Algorithm
Sort
View
INFOCOM
2005
IEEE
16 years 5 days ago
Connection admission control for flow level QoS in bufferless models
Abstract— Admission control algorithms used in access networks for multiplexed voice sources are typically based on aggregated system characteristics, such as aggregate loss prob...
Sándor Rácz, Tamás Jakabfy, J...
CAV
2005
Springer
99views Hardware» more  CAV 2005»
16 years 4 days ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...
DCOSS
2005
Springer
16 years 3 days ago
Multi-query Optimization for Sensor Networks
The widespread dissemination of small-scale sensor nodes has sparked interest in a powerful new database abstraction for sensor networks: Clients “program” the sensors through ...
Niki Trigoni, Yong Yao, Alan J. Demers, Johannes G...
ER
2005
Springer
153views Database» more  ER 2005»
16 years 3 days ago
Automatically Grounding Semantically-Enriched Conceptual Models to Concrete Web Services
Abstract. The paper provides a conceptual framework for designing and executing business processes using semantic Web services. We envision a world in which a designer defines a ...
Eran Toch, Avigdor Gal, Dov Dori
ICN
2005
Springer
16 years 3 days ago
Packet Scheduling Across Networks of Switches
Abstract. Recent developments in computer and communication networks require scheduling decisions to be made under increasingly complex system dynamics. We model and analyze the pr...
Kevin Ross, Nicholas Bambos