3558 search results - page 336 / 712 » Object-Oriented Programming on the Network |
178
click to vote
ICCSA
2004
Springer
16 years 23 days ago
2004
Springer
The algorithmic techniques which allow high efficiency in the precise calculation of the reliability of an undirected graph with absolutely reliable nodes and unreliable edges are ...
221
click to vote
ICALP
2003
Springer
16 years 18 days ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
207
click to vote
ISSS
2002
IEEE
16 years 9 days ago
2002
IEEE
This paper presents a new technique for global energy optimization through coordinated functional partitioning and speed selection for embedded processors interconnected by a high...
227
click to vote
ICML
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a new unsupervised algorithm for training structured predictors that is discriminative, convex, and avoids the use of EM. The idea is to formulate an unsupervised versi...
166
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...