Sciweavers

1866 search results - page 116 / 374
» Dynamic instantiation-checking components
Sort
View
143
Voted
WSFM
2007
Springer
15 years 9 months ago
From BPEL to SRML: A Formal Transformational Approach
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
Laura Bocchi, Yi Hong, Antónia Lopes, Jos&e...
ERLANG
2006
ACM
15 years 9 months ago
From HTTP to HTML: Erlang/OTP experiences in web based service applications
This paper describes the lessons learnt when internally developing web applications in Erlang. On the basis of these experiences, a framework called the Web Platform has been impl...
Francesco Cesarini, Lukas Larsson, Michal Slaski
119
Voted
SIGIR
2005
ACM
15 years 9 months ago
An interface to search human movements based on geographic and chronological metadata
Historians and scholars can better understand historic events by studying the geographic and chronological activity of individuals who witnessed them. A lack of adequate tools to ...
Wilma Bainbridge, Ryen W. White, Douglas W. Oard
136
Voted
ARCS
2005
Springer
15 years 9 months ago
The Bio-Chemical Information Processing Metaphor as a Programming Paradigm for Organic Computing
All known life forms process information on a molecular level. This kind of chemical information processing is known to be robust, self-organizing, adaptive, decentralized, asynch...
Peter Dittrich
GECCO
2005
Springer
207views Optimization» more  GECCO 2005»
15 years 9 months ago
Adaptive crossover and mutation in genetic algorithms based on clustering technique
Instead of having fixed px and pm, this paper presents the use of fuzzy logic to adaptively tune px and pm for optimization of power electronic circuits throughout the process. By...
Jun Zhang, Henry Shu-Hung Chung, Jinghui Zhong