Sciweavers

4286 search results - page 315 / 858
» Formalizing Service Interactions
Sort
View
ECTEL
2006
Springer
15 years 10 months ago
Personal Learning Environments: Challenging the Dominant Design of Educational Systems
Current systems used in education follow a consistent design pattern, one that is not supportive of lifelong learning or personalization, is asymmetric in terms of user capability,...
Scott Wilson, Oleg Liber, Mark Johnson, Phillip Be...
EUROCRYPT
2008
Springer
15 years 8 months ago
Protocols and Lower Bounds for Failure Localization in the Internet
Abstract. A secure failure-localization path-quality-monitoring (FLPQM) protocols allows a sender to localize faulty links on a single path through a network to a receiver, even wh...
Boaz Barak, Sharon Goldberg, David Xiao
ICQT
2009
203views Optimization» more  ICQT 2009»
15 years 4 months ago
Price Setting in Two-Sided Markets for Internet Connectivity
Due to a lack of incentives, Internet peerings are a notorious bandwidth bottleneck. Through the use of direct interconnection and content delivery networks, content providers are...
Thorsten Hau, Walter Brenner
EMSOFT
2006
Springer
15 years 8 months ago
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
Venkita Subramonian, Christopher D. Gill, Cé...
ECIS
2003
15 years 8 months ago
The role of informal networks in knowledge sharing
The application of a knowledge management strategy does not take place in a vacuum. Successfully meeting objectives of a knowledge management strategy may depend not only on the e...
Tony Jewels, Alan Underwood, Carmen de Pablos Here...