Sciweavers

ICECCS
2010
IEEE
120views Hardware» more  ICECCS 2010»
13 years 4 months ago
Maintaining Stable Node Populations in Long-Lifetime Sensornets
Sensornets provide coverage of physical phenomena over extended periods, perhaps months or years. However, active nodes may deplete finite batteries within days, and are prone to...
Jonathan Tate, Iain Bate
ICECCS
2010
IEEE
162views Hardware» more  ICECCS 2010»
13 years 4 months ago
Trust-Based Adaptation in Complex Service-Oriented Systems
Abstract—Complex networks consisting of humans and software services, such as Web-based social and collaborative environments, typically require flexible and context-based inter...
Florian Skopik, Daniel Schall, Schahram Dustdar
ICECCS
2010
IEEE
157views Hardware» more  ICECCS 2010»
13 years 4 months ago
AADS+: AADL Simulation Including the Behavioral Annex
Roberto Varona-Gomez, Eugenio Villar
ICECCS
2010
IEEE
139views Hardware» more  ICECCS 2010»
13 years 4 months ago
Formal Modeling for UML/MARTE Concurrency Resources
Pablo Peñil, Hector Posadas, Eugenio Villar
ICECCS
2010
IEEE
153views Hardware» more  ICECCS 2010»
13 years 4 months ago
Patterns for Modelling Time and Consistency in Business Information Systems
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
Jeremy W. Bryans, John S. Fitzgerald, Alexander Ro...
ICECCS
2010
IEEE
188views Hardware» more  ICECCS 2010»
13 years 4 months ago
A Transactional Architecture for Simulation
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
ICECCS
2010
IEEE
159views Hardware» more  ICECCS 2010»
13 years 4 months ago
Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation
Abstract—Granuloma is a medical term for a ball-like collection of immune cells that attempts to remove foreign substances from a host organism. This response is a special type o...
Amelia Ritahani Ismail, Jon Timmis
ICECCS
2010
IEEE
161views Hardware» more  ICECCS 2010»
13 years 4 months ago
Model Checking Round-Based Distributed Algorithms
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
Xin An, Jun Pang