We present the formal speciication and veriication of a mul-timedia stream. The stream is described in a timed automata notation. We verify that the stream satisses certain quality of service properties, in particular, throughput and end-to-end latency. The veriication tool used is the real-time model checker UPPAAL.

This study investigated how a job seeker self-presentation affects recruiter’s hiring recommendations in an online communities and what categories of self-presentation contribute to fit perceptions for obtaining hiring recommendations. The study participants viewed potential candidates’ LinkedIn profiles and responded to questions regarding the argument quality and source credibility of their s...

STEM (Science, Technology, Engineering and Mathematics) enrolments in higher education are declining while the gender gap of female underrepresentation seems to widen. The present study addresses both issues by exploring how fit between a student's vocational interests field contributes (non-) choice. Data was collected unique setting an open access low cost system, which allowed for without un...

Our ordinary causal concept seems to fit poorly with how our best physics describes the world. We think of causation as a time-asymmetric dependence relation between relatively local events. Yet fundamental physics describes the world in terms of dynamical laws that are, possible small exceptions aside, time symmetric and that relate global time slices. My goal in this paper is to show why we a...

Prototyping future Internet technologies is an important but complicated task, mainly caused by incompatibilities to existing systems and high implementation complexity. To reduce these problems, we have developed the Future Internet Toolbox (FIT), consisting of four frameworks that cover data transport, information-centric networking, naming, and name resolution. These frameworks can be used s...