Sciweavers

1922 search results - page 50 / 385
» Systems biology, models, and concurrency
Sort
View
ICARIS
2004
Springer
15 years 7 months ago
Towards a Conceptual Framework for Artificial Immune Systems
We propose that bio-inspired algorithms are best developed and analysed in the context of a multidisciplinary conceptual framework that provides for sophisticated biological models...
Susan Stepney, Robert E. Smith, Jonathan Timmis, A...
126
Voted
CP
2001
Springer
15 years 6 months ago
A Temporal Concurrent Constraint Programming Calculus
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
Catuscia Palamidessi, Frank D. Valencia
ICCAD
1994
IEEE
127views Hardware» more  ICCAD 1994»
15 years 6 months ago
Synthesis of concurrent system interface modules with automatic protocol conversion generation
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
Bill Lin, Steven Vercauteren
127
Voted
KES
2000
Springer
15 years 5 months ago
A fuzzy approach to adaptive hypermedia
This paper presents an open, concurrent model of adaptive hypermedia all its functionality and data are completely distributed on a web of autonomous actors. The model that enable...
Antonina Dattolo, Vincenzo Loia
126
Voted
CONCUR
2009
Springer
14 years 11 months ago
On Convergence of Concurrent Systems under Regular Interactions
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanatha...