2643 search results - page 268 / 529 » Higher order messaging |
164
click to vote
CAMAD
2009
IEEE
15 years 11 months ago
2009
IEEE
—The pseudo self similar processes are quite attractive due to their simplicity but the question we are interested in this paper concerns the basic estimation of such models. How...
180
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
160
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Embedded systems composed of hardware and software components are designed to interact with a physical environment in real-time in order to fulfill control objectives an...
188
click to vote
EVOW
2001
Springer
15 years 11 months ago
2001
Springer
Augmenting an existing network with additional links to achieve higher robustness and survivability plays an important role in network design. We consider the problem of augmenting...
177
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...