9626 search results - page 1384 / 1926 » Invariant Based Programming |
179
click to vote
ADAEUROPE
2003
Springer
16 years 9 days ago
2003
Springer
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...
202
click to vote
ASM
2003
ASM
16 years 9 days ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
194
click to vote
ECWEB
2003
Springer
16 years 9 days ago
2003
Springer
Transformation of data documents is of special importance to use XML as the universal data interchange format on the Web. Data transformation is used in many tasks that require dat...
192
click to vote
EPIA
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. A theoretical model for agents interaction to study semantic heterogeneity is proposed. The context of this study is informational agents with knowledge bases that are he...
175
click to vote
FPL
2003
Springer
16 years 9 days ago
2003
Springer
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...