2451 search results - page 132 / 491 » The Octagon Abstract Domain |
208
Voted
TCC
2012
Springer
14 years 2 months ago
2012
Springer
The hash-and-sign RSA signature is one of the most elegant and well known signatures schemes, extensively used in a wide variety of cryptographic applications. Unfortunately, the o...
164
click to vote
NORMAS
2005
Springer
16 years 13 days ago
2005
Springer
In order to regulate different circumstances over an extensive period of time, norms in institutions are stated in a vague and biguous manner, thereby abstracting from concrete as...
175
click to vote
EMSOFT
2004
Springer
16 years 10 days ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
205
Voted
CBSE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
165
click to vote
DPD
2002
15 years 6 months ago
2002
Abstract. We introduce a new mobile transaction model applicable to decisionmaking applications over aggregate data warehoused on mobile hosts. The model allows the aggregate data ...