6274 search results - page 793 / 1255 » Proofs, Programs, Processes |
199
click to vote
UML
2005
Springer
16 years 10 days ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
162
Voted
WAIM
2005
Springer
16 years 10 days ago
2005
Springer
Unlike Internet portals, a typical Web Information System contains lots of user operations. However, existing Web design frameworks focus exclusively on data presentation: the proc...
158
click to vote
IFIP
2004
Springer
16 years 7 days 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...
178
Voted
RISE
2004
Springer
16 years 6 days ago
2004
Springer
Exception mechanism is important for the development of robust programs to make sure that exceptions are handled appropriately at run-time. In this paper, we develop a dynamic exce...
186
Voted
UML
2004
Springer
16 years 6 days ago
2004
Springer
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language â...