5550 search results - page 50 / 1110 » Different Approaches to Proof Systems |
165
click to vote
CIA
2000
Springer
15 years 10 months ago
2000
Springer
Effective development of nontrivial systems of collaborative information agents requires that an in-depth analysis is made resulting in (1) specification of requirements at differe...
164
click to vote
IJNSEC
2007
15 years 6 months ago
2007
The recent developments in the mobile technology (mobile phones, middleware) created a need for new methods of protecting the code transmitted through the network. The oldest and ...
143
click to vote
JCT
2007
15 years 6 months ago
2007
By studying the reciprocity property of linear Diophantine systems in light of Malcev-Neumann series, we present in this paper a new approach to and a generalization of Stanley’s...
155
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are compatible. Bialgebras are usually studied over a ...
175
click to vote
APBC
2003
15 years 7 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...