ICECCS 2010 - PDF Preprint Papers

ICECCS 2010 IEEE International Conference on Engineering of Complex Computer Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICECCS-2010 Paper

click to vote

ICECCS
2010
IEEE

219views Hardware» more ICECCS 2010»

Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate

13 years 4 months ago

Download beru.univ-brest.fr

Abstract—Cheddar is a framework dedicated to the speciﬁcation of real-time schedulers, and to their analysis by simulation. It is developed in Ada. Some parts of its modular ar...

Mickaël Kerboeuf, Alain Plantec, Frank Singho...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	219	Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate	claim
2	198	QVT Based Model Transformation from Sequence Diagram to CSP	claim
3	196	Implementing and Evaluating a Model Checker for Transactional Memory Systems	claim
4	188	A Transactional Architecture for Simulation	claim
5	182	Engineering Quality Requirements Using Quality Models	claim
6	162	Trust-Based Adaptation in Complex Service-Oriented Systems	claim
7	162	A Tile-Based Approach for Self-Assembling Service Compositions	claim
8	161	Model Checking Round-Based Distributed Algorithms	claim
9	159	Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation	claim
10	158	A Network Analysis of Stakeholders in Tool Visioning Process for Story Test Driven Development	claim
11	157	AADS+: AADL Simulation Including the Behavioral Annex	claim
12	153	Patterns for Modelling Time and Consistency in Business Information Systems	claim
13	147	Performance Antipatterns as Logical Predicates	claim
14	144	McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java	claim
15	139	Formal Modeling for UML/MARTE Concurrency Resources	claim
16	135	Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction	claim
17	132	Reflections on the Simulation of Complex Systems for Science	claim
18	120	Maintaining Stable Node Populations in Long-Lifetime Sensornets	claim
19	105	On Immunological Memory as a Function of a Recursive Proliferation Process	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers