Sciweavers

1065 search results - page 173 / 213
» Towards a Meaning of LIFE
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
14 years 11 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
49
Voted
COR
2006
86views more  COR 2006»
14 years 11 months ago
G-functions for the hermeneutic circle of evolution
Evolution by natural selection may include both frequency and density-dependence. Frequency-dependent selection is a kind of hermeneutic circle. As a literary term (and a school o...
Joel S. Brown, Thomas L. Vincent
CORR
2006
Springer
146views Education» more  CORR 2006»
14 years 11 months ago
The Haar Wavelet Transform of a Dendrogram
While there is a very long tradition of approximating a data array by projecting row or column vectors into a lower dimensional subspace the direct approximation of a data matrix ...
Fionn Murtagh
JALC
2006
87views more  JALC 2006»
14 years 11 months ago
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
Maurice H. ter Beek, Gabriele Lenzini, Marinella P...
DA
2007
69views more  DA 2007»
14 years 11 months ago
e-Participation and Decision Analysis
Decision analytic methods are now used frequently to help articulate and structure debate and deliberations among citizens and stakeholders in societal decisions. Methods vary, bu...
Simon French, David Ríos Insua, Fabrizio Ru...