510 search results - page 38 / 102 » An Algebraic Framework for Urgency |
143
click to vote
IFIP
2009
Springer
16 years 25 days ago
2009
Springer
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
154
click to vote
ISSAC
2009
Springer
16 years 24 days ago
2009
Springer
We extend Zeilberger’s approach to special function identities to cases that are not holonomic. The method of creative telescoping is thus applied to definite sums or integrals...
183
click to vote
NCA
2008
IEEE
16 years 19 days ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
155
click to vote
QEST
2008
IEEE
16 years 19 days ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
116
click to vote
FSE
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we define small scale variants of the AES. These variants inherit the design features of the AES and provide a suitable framework for comparing different cryptanaly...