Sciweavers

1941 search results - page 162 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
149
Voted
PPDP
2009
Springer
15 years 11 months ago
Set functions for functional logic programming
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
Sergio Antoy, Michael Hanus
169
Voted
IANDC
2010
125views more  IANDC 2010»
15 years 2 months ago
A thread calculus with molecular dynamics
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
Jan A. Bergstra, C. A. Middelburg
ICCS
2003
Springer
15 years 10 months ago
A Problem Solving Environment for Modelling Stony Coral Morphogenesis
Abstract. Apart from experimental and theoretical approaches, computer simulation is an important tool in testing hypotheses about stony coral growth. However, the construction and...
Roeland Merks, Alfons G. Hoekstra, Jaap A. Kaandor...
150
Voted
DATE
2005
IEEE
128views Hardware» more  DATE 2005»
15 years 10 months ago
Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction
Assessing IC manufacturing process fluctuations and their impacts on IC interconnect performance has become unavoidable for modern DSM designs. However, the construction of parame...
Peng Li, Frank Liu, Xin Li, Lawrence T. Pileggi, S...
ICWS
2009
IEEE
16 years 2 months ago
Intelligent Matching for Public Internet Web Services Towards Semi-Automatic Internet Services Mashup
In this paper, we propose an Internet public Web service matching approach that paves the way for (semi-)automatic service mashup. We will first provide the overview of the soluti...
Chen Wu, Tharam S. Dillon, Elizabeth Chang