1875 search results - page 183 / 375 » A Calculus of Broadcasting Systems |
138
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being com...
108
Voted
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
116
click to vote
AIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The success of DEVS methods for simulating large continuous models calls for more in-depth examination of the applicability of discrete events in modeling continuous phen...
113
click to vote
FQAS
2000
Springer
15 years 7 months ago
2000
Springer
Knowledge scouts are software agents that autonomously synthesize knowledge of interest to a given user (target knowledge) by applying inductive database operators to a local or di...
135
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...