Sciweavers

4922 search results - page 222 / 985
» Internet time out
Sort
View
GLOBECOM
2007
IEEE
16 years 4 days ago
Output Traffic Characterization of Policers and Shapers with Long-Range Dependent Input Traffic
 Long-range dependence (LRD) is a largely verified property of Internet traffic, which severely affects network queuing. An approach for guaranteeing performance requirements is...
Stefano Bregni, Paolo Giacomazzi, Gabriella Saddem...
ESOP
2007
Springer
15 years 12 months ago
Probabilistic Anonymity Via Coalgebraic Simulations
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...
Ichiro Hasuo, Yoshinobu Kawabe
ESWS
2007
Springer
15 years 12 months ago
The Web Mashup Scripting Language Profile
This paper provides an overview of the Web Mashup Scripting Language (WMSL) and discusses the WMSL-Profile. It specifies the HTML encoding that is used to import Web Service Descri...
Marwan Sabbouh, Jeff Higginson, Caleb Wan, Salim S...
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
15 years 12 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
141
Voted
ICWE
2007
Springer
15 years 12 months ago
Structural Patterns for Descriptive Documents
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
Antonina Dattolo, Angelo Di Iorio, Silvia Duca, An...