Sciweavers

8492 search results - page 578 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
WSC
2008
15 years 9 months ago
Using Little's Law to estimate cycle time and cost
Well designed models can provide timely answers and summarize understanding of complex systems. Simple use cases can illustrate the applicability and inferences possible with even...
Kristin Rust
FMCO
2009
Springer
128views Formal Methods» more  FMCO 2009»
15 years 5 months ago
Patterns for Refinement Automation
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,...
SIGMETRICS
2010
ACM
173views Hardware» more  SIGMETRICS 2010»
16 years 1 days ago
Channel fragmentation in dynamic spectrum access systems: a theoretical study
Dynamic Spectrum Access systems exploit temporarily available spectrum (‘white spaces’) and can spread transmissions over a number of non-contiguous sub-channels. Such methods...
Edward G. Coffman Jr., Philippe Robert, Florian Si...
DATE
2005
IEEE
158views Hardware» more  DATE 2005»
16 years 25 days ago
Scheduling of Soft Real-Time Systems for Context-Aware Applications
Context-aware applications pose new challenges, including a need for new computational models, uncertainty management, and efficient optimization under uncertainty. Uncertainty c...
Jennifer L. Wong, Weiping Liao, Fei Li, Lei He, Mi...
HICSS
2003
IEEE
113views Biometrics» more  HICSS 2003»
16 years 15 days ago
Multi-Criteria Task Assignment in Workflow Management Systems
During workflow design, workflow modelers generally specify the performers of a task by their organizational role. However, during workflow enactment, numerous workers with differ...
Minxin Shen, Gwo-Hshiung Tzeng, Duen-Ren Liu