5149 search results - page 718 / 1030 » Timed Asynchronous Distributed Systems |
128
click to vote
IEEESCC
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper presents a novel approach to model a complex evolving system, a Digital Business Ecosystem (DBE) that takes the specific needs of Small and Medium-sized Enterprises ...
133
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
120
click to vote
HPCS
2007
IEEE
15 years 10 months ago
2007
IEEE
One of the challenges in the large-scale simulations required for many molecular systems (such as those of biological interested) is the recording, monitoring and visualization of...
121
click to vote
IPCCC
2007
IEEE
15 years 10 months ago
2007
IEEE
- This paper presents a unique approach for a model-based admission control algorithm for the IEEE 802.11e Enhanced Distributed Channel Access (EDCA) standard. The analytical model...
139
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper describes the hardware architecture for a flexible probability density estimation unit to be used in a Large Vocabulary Speech Recognition System, and targeted for m...