Sciweavers

14424 search results - page 2724 / 2885
» Modeling Radio Networks
Sort
View
137
Voted
CSL
2010
Springer
15 years 5 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
15 years 5 months ago
Computing robustness of FlexRay schedules to uncertainties in design parameters
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov...
DEXA
2010
Springer
266views Database» more  DEXA 2010»
15 years 5 months ago
DBOD-DS: Distance Based Outlier Detection for Data Streams
Data stream is a newly emerging data model for applications like environment monitoring, Web click stream, network traffic monitoring, etc. It consists of an infinite sequence of d...
Md. Shiblee Sadik, Le Gruenwald
ESWS
2010
Springer
15 years 5 months ago
OKBook: Peer-to-Peer Community Formation
Many systems exist for community formation in extensions of traditional Web environments but little work has been done for forming and maintaining communities in the more dynamic e...
Xi Bai, Wamberto Vasconcelos, Dave Robertson
CSIE
2009
IEEE
15 years 5 months ago
An Investigation of Forecasting Critical Spare Parts Requirement
The critical spare parts (CSP) is essential to machine operation, which is also more expensive, have longer purchasing lead time and larger demand variation than non-critical spar...
Fei-Long Chen, Yun-Chin Chen
« Prev « First page 2724 / 2885 Last » Next »