7820 search results - page 46 / 1564 » Formalization of Time and Space |
JOT
2006
15 years 21 days ago
2006
The paper introduces modeling spaces in order to help software practitioner to understand modeling. Usually software engineers often think of a specific kind of models
EUROCRYPT
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a technique for Merkle tree traversal which requires only logarithmic space and time1 . For a tree with N nodes, our algorithm computes sequential tree leaves ...
135
Voted
NC
2011
14 years 7 months ago
2011
We consider recognizer P systems having three polarizations associated to the membranes, and we show that they are able to solve the PSPACEcomplete problem Quantified 3SAT when wo...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
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...
79
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
To achieve Terabit and Petabit switching, both time (high transmission speed) and space (multi-stage interconnection network) technologies are required. We propose an Ethernet for...