Advanced Search

Refine my results

Document type

Institution

Specific Collection

Language

Author

Domain

Keyword

Sorted by: Date of deposit
2 results 1
Università della Svizzera italiana

INDIGO : a generalized model and framework for performance prediction of data dissemination

Garg, Kamini ; Jazayeri, Mehdi (Dir.) ; Giordano, Silvia (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2017 ; 2017INFO001.

According to recent studies, an enormous rise in location-based mobile services is expected in future. People are interested in getting and acting on the localized information retrieved from their vicinity like local events, shopping offers, local food, etc. These studies also suggested that local businesses intend to maximize the reach of their localized offers/advertisements by pushing them...

Università della Svizzera italiana

Automatically generated runtime checks for design-level constraints

Wuttke, Jochen ; Pezzè, Mauro (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2010 ; 2010INFO002.

In recent years, component- and service-orientation has gained importance as the new paradigm in software engineering, and it has introduced the challenge of dynamic component look-up and binding into the validation and verification process. This introduces a new class of inherently dynamic properties that have to be verified when the system is running in its target environment rather than...

2 results 1