1557 search results - page 150 / 312 » Programming up to Congruence |
105
click to vote
CALCO
2005
Springer
15 years 4 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
FPL
2005
Springer
15 years 4 months ago
2005
Springer
This paper presents a design and optimization technique for the Multiple Restricted Multiplication problem [1]. This refers to a situation where a single variable is multiplied by...
ICT
2004
Springer
15 years 4 months ago
2004
Springer
In the area of monitoring communication networks, GEDSystem is a tool for supporting the development of programs driven to the management of domains that may show up when networks ...
ICWE
2004
Springer
15 years 4 months ago
2004
Springer
Delivering high quality web applications complying with severe project delivery time constraints is still an elusive goal for a software process. In many software projects, develop...
IFIP
2004
Springer
15 years 4 months ago
2004
Springer
We analyze an algebraic representation of AES–128 as an embedding in BES, due to Murphy and Robshaw. We present two systems of equations S and K concerning encryption and key gen...