Sciweavers

11234 search results - page 340 / 2247
» A Microsurgery Simulation System
Sort
View
PERCOM
2007
ACM
16 years 6 months ago
Unlinkability and Real World Constraints in RFID Systems
Unlinkability, the property that prevents an adversary recognizing whether outputs are from the same user, is an important concept in RFID. There are many proposed schemes that pr...
Yasunobu Nohara, Sozo Inoue, Hiroto Yasuura
FOCS
2006
IEEE
16 years 19 days ago
On the time complexity of 2-tag systems and small universal Turing machines
We show that 2-tag systems efficiently simulate Turing machines. As a corollary we find that the small universal Turing machines of Rogozhin, Minsky and others simulate Turing ma...
Damien Woods, Turlough Neary
ECAL
2005
Springer
16 years 3 days ago
An Architecture for Modelling Emergence in CA-Like Systems
Abstract. We consider models of emergence, adding downward causation to conventional models where causation permeates from low-level elements to high-level behaviour. We describe a...
Fiona Polack, Susan Stepney, Heather R. Turner, Pe...
WSC
1997
15 years 8 months ago
A Java Based System for Specifying Hierarchical Control Flow Graph Models
The portion of the Hierarchical Modeling And Simulation System-Java (HiMASS-j) used for specifying Hierarchical Control Flow Graph (HCFG) Models is described. The specification o...
Thorsten Daum, Robert G. Sargent
WSC
1997
15 years 8 months ago
Seven Habits of Highly Successful Input Modelers
Discrete-event simulation models typically have stochastic components that mimic the probabilistic nature of the system under consideration. Successful input modeling requires a c...
Lawrence Leemis