Sciweavers

7661 search results - page 135 / 1533
» Languages and the Computing Profession
Sort
View
AINA
2005
IEEE
16 years 1 days ago
A Practical Modelling Notation for Secure Distributed Computation
Mobile code computation has lead to a new paradigm of distributed computation. A mobile process can move from site to site and interact with the resources as a local process. To p...
Yih-Jiun Lee, Peter Henderson
SAIG
2001
Springer
15 years 10 months ago
MetaKlaim: Meta-programming for Global Computing
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...
Gian Luigi Ferrari, Eugenio Moggi, Rosario Puglies...
FOCS
1998
IEEE
15 years 10 months ago
A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time
We present a higher-order functional notation for polynomial-time computation with arbitrary 0; 1-valued oracle. This provides a linguistic characterization for classes such as np...
John C. Mitchell, Mark Mitchell, Andre Scedrov

Book
386views
17 years 2 months ago
1000 Java Tips
1000 questions and answers in Java. This is a great resource for the Java preparation exam.
ICALP
2009
Springer
16 years 1 months ago
Competitive Analysis of Aggregate Max in Windowed Streaming
Luca Becchetti, Elias Koutsoupias