Sciweavers

2799 search results - page 245 / 560
» computer 1998
Sort
View
157
Voted
ECOOP
1998
Springer
15 years 10 months ago
Reflection for Statically Typed Languages
Abstract. An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilitie...
José de Oliveira Guimarães
EUROCRYPT
1998
Springer
15 years 10 months ago
Securing Threshold Cryptosystems against Chosen Ciphertext Attack
For the most compelling applications of threshold cryptosystems, security against chosen ciphertext attack is a requirement. However, prior to the results presented here, there ap...
Victor Shoup, Rosario Gennaro
HPCN
1998
Springer
15 years 10 months ago
Integration of a Compilation System and a Performance Tool: The HPF+ Approach
Abstract. The performance of HPF codes is in uenced by the characteristics of the parallel system and by the e ciency of the compilation system. Performance analysis has to take in...
Maria Calzarossa, Luisa Massari, Alessandro P. Mer...
IATA
1998
Springer
15 years 10 months ago
Routing in Telecommunications Networks with Ant-Like Agents
. A simple mechanism is presented, based on ant-like agents, for routing and load balancing in telecommunications networks, following the initial works of Appleby and Stewart [1] a...
Eric Bonabeau, Florian Hénaux, Sylvain Gu&e...
ICFEM
1998
Springer
15 years 10 months ago
Defining Differentiation and Integration in Z
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony