1454 search results - page 217 / 291 » Stateful traits and their formalization |
171
click to vote
CIKM
2009
Springer
16 years 28 days ago
2009
Springer
Opinion mining has become recently a major research topic. A wide range of techniques have been proposed to enable opinion-oriented information seeking systems. However, little is...
166
click to vote
CSL
2009
Springer
16 years 28 days ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
194
click to vote
EMSOFT
2009
Springer
16 years 28 days ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
143
click to vote
ICFEM
2009
Springer
16 years 28 days ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
135
click to vote
ISW
2009
Springer
16 years 27 days ago
2009
Springer
A nonce is a cryptographic input value which must never repeat within a given context. Nonces are important for the security of many cryptographic building blocks, such as stream c...