1915 search results - page 263 / 383 » A language for functional interpretation of model based simu... |
144
click to vote
PRDC
2005
IEEE
15 years 9 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
115
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
131
click to vote
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— It is a commonly held belief that IPv6 provides greater security against random-scanning worms by virtue of a very sparse address space. We show that an intelligent worm can ex...
148
click to vote
ECML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We consider the problem of predicting how a user will continue a given initial text fragment. Intuitively, our goal is to develop a “tab-complete” function for natura...
129
click to vote
IANDC
2010
15 years 2 months ago
2010
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit de...