1454 search results - page 80 / 291 » Stateful traits and their formalization |
87
Voted
ENTCS
2007
15 years 17 days ago
2007
Queueing network formalisms are very good at describing the spatial movement of customers, but typically poor at describing how customers change as they move through the network. ...
128
Voted
JELIA
1994
Springer
15 years 4 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
133
Voted
FMICS
2009
Springer
15 years 4 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
107
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
We present a formal model and a simple architecture for robust pseudorandom generation that ensures resilience in the face of an observer with partial knowledge/control of the gen...
76
Voted
CCCG
2010
15 years 2 months ago
2010
For a given mountain-valley pattern of equidistant creases on a long strip paper, there are many folded states consistent with the pattern. Among these folded states, we like to f...