Towards a HTML-UI-Compositor by Introducing the Wayland-Protocol into a Browser-Engine.

Tobias Holstein Bastian Weissbach Joachim Wietzke

Published in: WICSA (2016)

Keyphrases

user interface
web browser
web applications
web pages
formal analysis
lightweight
website
end users
coloured petri nets
network protocols
network simulator
communication protocol
security protocols
semi structured
information extraction
database systems
protocol specification
search engine