Sciweavers

4872 search results - page 206 / 975
» CBR for Modeling Complex Systems
Sort
View
161
Voted
JOT
2008
142views more  JOT 2008»
15 years 5 months ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...
148
Voted
IJAOSE
2010
126views more  IJAOSE 2010»
15 years 2 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur
155
Voted
SIGADA
2004
Springer
15 years 10 months ago
Model driven development with Ada
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
Andy Lapping
132
Voted
MASCOTS
2008
15 years 6 months ago
A Novel and Generic Model for Synthesizing Disk I/O Traffic Based on The Alpha-stable Process
Obtaining representative and concise I/O workloads for the purpose of projecting the performance of storage systems remains a challenge due to the complex nature of I/O behaviors....
Qiang Zou, Dan Feng, Yifeng Zhu, Hong Jiang
MBEES
2007
15 years 6 months ago
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...
Vina Ermagan, To-ju Huang, Ingolf H. Krüger, ...