10568 search results - page 1926 / 2114 » Computer Intelligence and Formalization |
204
click to vote
CONCUR
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
186
click to vote
FC
2007
Springer
16 years 18 days ago
2007
Springer
This paper introduces Hidden Identity-based Signatures (Hidden-IBS), a type of digital signatures that provide mediated signer-anonymity on top of Shamir’s Identity-based signat...
188
click to vote
ICCS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
171
click to vote
OTM
2007
Springer
16 years 17 days ago
2007
Springer
In recent years, existing computing schemes and paradigms have evolved towards more flexible, ad-hoc scalable frameworks. Nowadays, exchanging interactions between entities often ...
185
click to vote
CODES
2006
IEEE
16 years 15 days ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...