Sciweavers

1315 search results - page 158 / 263
» Towards Requirements Engineering for Context Adaptive System...
Sort
View
SASO
2008
IEEE
16 years 23 days ago
A New Paradigm for SpeckNets: Inspiration from Fungal Colonies
In this position paper, we propose the development of a new biologically inspired paradigm based on fungal colonies, for the application to pervasive adaptive systems. Fungal colo...
Ruth Falconer, James Bown, Emma Hart, Jon Timmis
IFIP3
2003
114views Education» more  IFIP3 2003»
15 years 7 months ago
Enabling Postgraduate Learning in the Workplace
: This paper describes a research project that was carried out to determine and evaluate the learning environment customisations required to support selfmotivated, able, and experi...
Nicola Beasley, John A. Ford, Nils Tomes
FOCS
2007
IEEE
16 years 22 days ago
Adaptive Simulated Annealing: A Near-optimal Connection between Sampling and Counting
We present a near-optimal reduction from approximately counting the cardinality of a discrete set to approximately sampling elements of the set. An important application of our wo...
Daniel Stefankovic, Santosh Vempala, Eric Vigoda
ICFEM
2010
Springer
15 years 4 months ago
Reasoning about Safety and Progress Using Contracts
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
IWPSE
2003
IEEE
15 years 11 months ago
Using Coordination Contracts for Flexible Adaptation to Changing Business Rules
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...
Michel Wermelinger, Georgios Koutsoukos, Richard A...