WebMonitor: Verification of Web User Interfaces

Application development for the modern Web involves sophisticated engineering workflows which include user interface aspects. Those involve Web elements typically created with HTML/CSS markup and JavaScript-like languages, yielding Web documents. WebMonitor leverages requirements formally specified in a logic able to capture both the layout of visual components as well as how they change over time, as a user interacts with them. Then, requirements are verified upon arbitrary web pages, allowing for automated support for a wide set of use cases in interaction testing and simulation. We position WebMonitor within a developer workflow, where in case of a negative result, a visual counterexample is returned. The monitoring framework we present follows a black-box approach, and as such is independent of the underlying technologies a Web application may be developed with, as well as the browser and operating system used. WebMonitoris available as open source software: https://github.com/ennioVisco/webmonitor Video demonstration of WebMonitor: https://youtu.be/hqVw0JU3k9

Predicting-decentmon

Scripts and data to reporduce decentmon analysis and evaluation. This repo is thought to provide information already by exploring it, although any of the notebook can be locally run and modified. The notebooks can be run in two ways, via docker (unstable because of issues of jupyter with docker, see e.g. https://github.com/microsoft/vscode-jupyter/issues/8670) and via poetry (RECOMMENDED). Please note that Poetry installs all dependencies in a local virtual environment, which means the python version and all dependencies will be removed when the folder is thrown away!</p

Oeuvres de Ennius Quirinus Visconti. Tome 5 / . Musée Pie-Clémentin...

Contient une table des matièresAvec mode text

Oeuvres de Ennius Quirinus Visconti. Tome 3 / . Musée Pie-Clémentin...

Avec mode text

Notice historique sur la tapisserie brodée par la reine Mathilde , épouse de Guillaume le Conquérant.

Référence bibliographique : Deloynes, 84

Musée Pie-Clémentin.

Begun by G. A. and E. Q. Visconti, but almost entirely the work of the latter."Notice biographique de Enni Quirino Visconti, rédigée par mr. Jean Labus": v. 1, p. 19-55.Mode of access: Internet

Posterior predictive model checking using formal methods in a spatio-temporal model

We propose an interdisciplinary framework, Bayesian formal predictive model checking (Bayes FPMC), which combines Bayesian predictive inference, a well established tool in statistics, with formal verification methods rooting in the computer science community. Bayesian predictive inference allows for coherently incorporating uncertainty about unknown quantities by making use of methods or models that produce predictive distributions which in turn inform decision problems. By formalizing these problems and the corresponding properties, we can use spatio-temporal reach and escape logic to probabilistically assess their satisfaction. This way, competing models can directly be ranked according to how well they solve the actual problem at hand. The approach is illustrated on an urban mobility application, where the crowdedness in the center of Milan is proxied by aggregated mobile phone traffic data. We specify several desirable spatio-temporal properties related to city crowdedness such as a fault tolerant network or the reachability of hospitals. After verifying these properties on draws from the posterior predictive distributions, we compare several spatio-temporal Bayesian models based on their overall and property-based predictive performance

A letter from the Chevalier Antonio Canova, and, Two memoirs read to the Royal Institute of France on the sculptures in the collection of the Earl of Elgin /

Includes bibliographical references and index.Mode of access: Internet