Sciweavers

1925 search results - page 287 / 385
» Theory research at Google
Sort
View
VIROLOGY
2008
84views more  VIROLOGY 2008»
15 years 6 months ago
Formal affordance-based models of computer virus reproduction
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
Matt Webster, Grant Malcolm
CSUR
2004
144views more  CSUR 2004»
15 years 6 months ago
Advances in dataflow programming languages
Many developments have taken place within dataflow programming languages in the past decade. In particular, there has been a great deal of activity and advancement in the field of ...
Wesley M. Johnston, J. R. Paul Hanna, Richard J. M...
CORR
2000
Springer
98views Education» more  CORR 2000»
15 years 6 months ago
Scientific Collaboratories as Socio-Technical Interaction Networks: A Theoretical Approach
Collaboratories refer to laboratories where scientists can work together while they are in distant locations from each other and from key equipment. They have captured the interes...
Rob Kling, Geoffrey W. McKim, Joanna Fortuna, Adam...
EATCS
2000
85views more  EATCS 2000»
15 years 6 months ago
A New Zero-One Law and Strong Extension Axioms
One of the previous articles in this column was devoted to the zero-one laws for a number of logics playing prominent role in finite model theory: first-order logic FO, the extens...
Andreas Blass, Yuri Gurevich
ECCC
2000
158views more  ECCC 2000»
15 years 6 months ago
On the Computational Power of Winner-Take-All
This article initiates a rigorous theoretical analysis of the computational power of circuits that employ modules for computing winner-take-all. Computational models that involve ...
Wolfgang Maass