Sciweavers

4870 search results - page 252 / 974
» Challenges of component-based development
Sort
View
TSMC
2008
113views more  TSMC 2008»
15 years 4 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
CCE
2004
15 years 4 months ago
Continuous-time versus discrete-time approaches for scheduling of chemical processes: a review
An overview of developments in the scheduling of multiproduct/multipurpose batch and continuous processes is presented. Existing approaches are classified based on the time repres...
Christodoulos A. Floudas, Xiaoxia Lin
DKE
2002
118views more  DKE 2002»
15 years 4 months ago
Consistent policy enforcement in distributed systems using mobile policies
This paper briefly traces the evolution of information system architectures from mainframe-connected terminals to distributed multi-tier architectures. It presents the challenges ...
Susan Chapin, Donald B. Faatz, Sushil Jajodia, Amg...
JNSM
2000
122views more  JNSM 2000»
15 years 4 months ago
Communications Systems Driven by Software Agent Technology
The application of software agent technology to the management of communications' infrastructures is a challenging domain as it requires management on different time scales a...
Alex L. Hayzelden, John Bigham, Stefan Poslad, Phi...
PRL
2007
137views more  PRL 2007»
15 years 4 months ago
Improving nearest neighbor rule with a simple adaptive distance measure
The k-nearest neighbor rule is one of the simplest and most attractive pattern classification algorithms. However, it faces serious challenges when patterns of different classes...
Jigang Wang, Predrag Neskovic, Leon N. Cooper