Sciweavers

1397 search results - page 171 / 280
» Manufacturing Modeling using Process Nets with Resources
Sort
View
ICDM
2003
IEEE
92views Data Mining» more  ICDM 2003»
15 years 10 months ago
Postprocessing Decision Trees to Extract Actionable Knowledge
Most data mining algorithms and tools stop at discovered customer models, producing distribution information on customer profiles. Such techniques, when applied to industrial pro...
Qiang Yang, Jie Yin, Charles X. Ling, Tielin Chen
CSFW
1999
IEEE
15 years 9 months ago
Secure Composition of Insecure Components
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
Peter Sewell, Jan Vitek
TWC
2008
107views more  TWC 2008»
15 years 4 months ago
Stochastic delay guarantees and statistical call admission control for IEEE 802.11 single-hop ad hoc networks
This paper presents a new approach to provide stochastic delay guarantees via fully distributed model-based call admission control for IEEE 802.11 single-hop ad hoc networks. We pr...
Atef Abdrabou, Weihua Zhuang
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 9 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
GLOBECOM
2007
IEEE
15 years 11 months ago
Sensing Workload Scheduling in Sensor Networks Using Divisible Load Theory
Abstract— This paper presents scheduling strategies for sensing workload in wireless sensor networks using Divisible Load Theory (DLT), which offers a tractable model and realist...
Xiaolin Li, Xinxin Liu, Hui Kang