Thèse de doctorat : Università della Svizzera italiana, 2012 ; 2012INFO009.
Open-world software systems are built by composing heterogeneous,third-party components, whose behavior and interactions cannot be fully controlled or predicted; moreover, the environment they interact with is characterized by frequent, unexpected, and welcome changes. This class of software exhibits new features that often demand for rethinking and extending the traditional methodologies...
|
Thèse de doctorat : Università della Svizzera italiana, 2015 ; 2015INFO005.
Service providers seek scalable and cost-effective cloud solutions for hosting their applications. Despite significant recent advances facilitating the deployment and management of services on cloud platforms, a number of challenges still remain. Service providers are confronted with time-varying requests for the provided applications, inter- dependencies between different components,...
|
Thèse de doctorat : Università della Svizzera italiana, 2003.
Web application development still needs to employ effective methods to accommodate some distinctive aspects of the requirements analysis process: capturing high-level communication goals, considering several user profiles and stakeholders, defining hypermedia-specific requirements (concerning navigation, content, information structure and presentation aspects), and reusing requirements for an...
|
Thèse de doctorat : Università della Svizzera italiana, 2014 ; 2014INFO017.
Recent trends in programming models for server-side development have shown an increasing popularity of event-based single- threaded programming models based on the combination of dynamic languages such as JavaScript and event-based runtime systems for asynchronous I/O management such as Node.JS. Reasons for the success of such models are the simplicity of the single-threaded event-based...
|
Thèse de doctorat : Università della Svizzera italiana, 2009 ; 2009INFO004.
During the last few years, the attention to system-on-chip processors focused on customizability and specializing functional units for particular applications. Such processor extensions can increase performance in domains such as cryptography and DSP, without incurring the power cost of superscalar RISC processors and the complexity of entirely customized integrated circuits. Since it is...
|
Thèse de doctorat : Università della Svizzera italiana, 2017 ; 2017INFO009.
The past decade in computer vision research has witnessed the re-emergence of artificial neural networks (ANN), and in particular convolutional neural network (CNN) techniques, allowing to learn powerful feature representations from large collections of data. Nowadays these techniques are better known under the umbrella term deep learning and have achieved a breakthrough in performance in a...
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO002.
Privacy and control over data have become a public concern. Simultaneously, the increasing likelihood of the construction of a general purpose quantum computer has led companies and governments to demand for quantum safe alternatives to the protocols used today. New schemes have been elaborated, whose conjectured security against a quantum computer relies on the hardness to solve different...
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO011.
Recent advancements in the networking field have made the data plane fully programmable, thanks to the introduction of both programmable network architectures and network programming languages. P4, the most prominent network programming language, provides software abstractions to the components of PISA, a programmable network architecture that is able to process huge amounts of network ...
|
Thèse de doctorat : Università della Svizzera italiana, 2008 ; 2008INFO001.
Agreement problems are a common abstraction in distributed systems. They appear when the components of the system must concur on reconfigurations, changes of state, or in lines of action in general. Examples of agreement problems are Consensus, Atomic Commitment, and Atomic Broadcast. In this thesis we investigate these abstractions in the context of the environment in which they will run and the...
|
Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO007.
Symbolic analysis is an important element of program verification and automatic testing. Symbolic analysis techniques abstract program properties as expressions of symbolic input values to characterise the program logical constraints, and rely on Satisfiability Modulo Theories (SMT) solvers to both validate the satisfiability of the constraint expression and verify the corresponding program...
|