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

112views Hardware» more ICECCS 2010»

A Transactional Architecture for Simulation

1 years 5 months ago

Download www.cosmos-research.org

Abstract—We are developing a concurrent, agent-based approach to complex systems simulation as part of the CoSMoS project. In such simulations an agent’s behaviour can typicall...

Tim Hoverd, Adam T. Sampson

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	112	A Transactional Architecture for Simulation	claim
2	76	Model Checking Round-Based Distributed Algorithms	claim
3	76	AADS+: AADL Simulation Including the Behavioral Annex	claim
4	76	Performance Antipatterns as Logical Predicates	claim
5	75	QVT Based Model Transformation from Sequence Diagram to CSP	claim
6	74	Implementing and Evaluating a Model Checker for Transactional Memory Systems	claim
7	74	McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java	claim
8	73	Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate	claim
9	72	Formal Modeling for UML/MARTE Concurrency Resources	claim
10	72	A Network Analysis of Stakeholders in Tool Visioning Process for Story Test Driven Development	claim
11	71	Engineering Quality Requirements Using Quality Models	claim
12	67	A Tile-Based Approach for Self-Assembling Service Compositions	claim
13	61	Reflections on the Simulation of Complex Systems for Science	claim
14	60	Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation	claim
15	56	Patterns for Modelling Time and Consistency in Business Information Systems	claim
16	55	Trust-Based Adaptation in Complex Service-Oriented Systems	claim
17	54	Maintaining Stable Node Populations in Long-Lifetime Sensornets	claim
18	49	On Immunological Memory as a Function of a Recursive Proliferation Process	claim
19	39	Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers