9730 search results - page 81 / 1946 » Relating models of backtracking |
109
click to vote
AIS
2004
Springer
15 years 8 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...
132
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
148
Voted
IICS
2003
Springer
15 years 8 months ago
2003
Springer
As XML has become an emerging standard for information exchange on the World Wide Web, it has gained attention in database communities to extract information from XML sees as a dat...
114
click to vote
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed process algebras have been dev...
140
Voted
POPL
2000
ACM
15 years 7 months ago
2000
ACM
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...