Sciweavers

1079 search results - page 75 / 216
» Model Driven Prediction and Control
Sort
View
ICECCS
2005
IEEE
87views Hardware» more  ICECCS 2005»
15 years 3 months ago
Modeling Diverse and Complex Interactions Enabled by Middleware as Connectors in Software Architectures
Middleware enables distributed components to interact with each others in diverse and complex manners. Such interactions should be modeled at architecture level for controlling th...
Yali Zhu
ASM
2000
ASM
15 years 2 months ago
Modeling the Dynamics of UML State Machines
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
Egon Börger, Alessandra Cavarra, Elvinia Ricc...
INFOCOM
2000
IEEE
15 years 2 months ago
Scalable TCP Congestion Control
— The packet losses imposed by IP networks can cause long and erratic recovery delays, since senders must often use conservative loss detection and retransmission mechanisms. Thi...
Robert Morris
ISMB
1993
14 years 11 months ago
Prediction of Primate Splice Junction Gene Sequences with a Cooperative Knowledge Acquisition System
Wepropose a cooperative conceptual modelling environment in which two agents interact : the machineand the humanexpert. Theformer is able to extract knowledge from data using a sy...
Engelbert Mephu Nguifo, Jean Sallantin
ISSRE
2010
IEEE
14 years 8 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...