563 search results - page 33 / 113 » A Typing Scheme for Behavioural Models |
FTCS
1997
13 years 10 months ago
1997
In this paper the consolidate identification of faults, distinguished as transient or permanent/intermittent, is approached. Transient faults discrimination has long been performe...
EUROCRYPT
2005
Springer
14 years 2 months ago
2005
Springer
We introduce a new type of Identity-Based Encryption (IBE) scheme that we call Fuzzy Identity-Based Encryption. In Fuzzy IBE we view an identity as set of descriptive attributes. ...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper, we consider the queueing performance of a subscriber station for IEEE802.16e random access protocol with bulk transmissions which is allowed with an ARQ protocol...
ICCAD
2002
IEEE
14 years 5 months ago
2002
IEEE
This paper presents a way of encoding some kinds of dynamic reconfiguration behaviour in the interface portion of circuit descriptions. This has many advantages. The user of a rec...
DOCENG
2007
ACM
14 years 17 days ago
2007
ACM
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...