Sciweavers

2850 search results - page 53 / 570
» On Timed Models and Full Abstraction
Sort
View
FUIN
2008
74views more  FUIN 2008»
15 years 6 months ago
Security in a Model for Long-running Transactions
Abstract. Communicating Hierarchical Transaction-based Timed Automata have been introduced to model systems performing long
Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo ...
138
Voted
DNA
2005
Springer
113views Bioinformatics» more  DNA 2005»
15 years 11 months ago
A Self-assembly Model of Time-Dependent Glue Strength
Abstract Self-assembly is a ubiquitous process in which small objects selforganize into larger and complex structures. In 2000, Rothemund and Winfree proposed a Tile Assembly Model...
Sudheer Sahu, Peng Yin, John H. Reif
146
Voted
SIGMETRICS
2002
ACM
107views Hardware» more  SIGMETRICS 2002»
15 years 5 months ago
Passage time distributions in large Markov chains
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...
Peter G. Harrison, William J. Knottenbelt
ECAI
1992
Springer
15 years 10 months ago
A Common-Sense Theory of Time
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for pe...
Yuen Q. Lin
CORR
2010
Springer
106views Education» more  CORR 2010»
15 years 3 months ago
Simulating space and time
This paper explores the idea that the space-time of a virtual reality could appear to those within it as our space-time does to us. The likely processing needed to do this include...
Brian Whitworth