5128 search results - page 958 / 1026 » When Abstraction Fails |
105
click to vote
CLOUD
2010
ACM
15 years 5 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
122
click to vote
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...
101
click to vote
INFOCOM
2002
IEEE
15 years 4 months ago
2002
IEEE
Abstract—Routing with service restorability is of much importance in Multi-Protocol Label Switched (MPLS) networks, and is a necessity in optical networks. For restoration, each ...
112
click to vote
CIE
2010
Springer
15 years 4 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...