English
Related papers

Related papers: Formal Methods and Event Notification Systems in M…

200 papers

Microservices emerged as a popular architectural style over the last decade. Although microservices are designed to be self-contained, they must communicate to realize business capabilities, creating dependencies among their data and…

Software Engineering · Computer Science 2024-08-02 Rodrigo Laigner , Ana Carolina Almeida , Wesley K. G. Assunção , Yongluan Zhou

The International System of Units (SI) is fundamental for the social, and not only the scientific, role of metrology, and as such its understandability is a crucial issue. According to the current draft of the new SI Brochure, the next…

Physics Education · Physics 2017-01-23 Luca Mari , Peter Blattner , Franco Pavese

The continual proliferation of mobile devices has encouraged much effort in using the smartphones for indoor positioning. This article is dedicated to review the most recent and interesting smartphones based indoor navigation systems,…

Signal Processing · Electrical Eng. & Systems 2020-06-04 Khuong An Nguyen , Zhiyuan Luo , Guang Li , Chris Watkins

Due to the rapid growth of internet broadband access and proliferation of modern mobile devices, various types of multimedia (e.g. text, images, audios and videos) have become ubiquitously available anytime. Mobile device users usually…

Information Retrieval · Computer Science 2013-12-24 Feng Xia , Nana Yaw Asabere , Ahmedin Mohammed Ahmed , Jing Li , Xiangjie Kong

Previous work has presented our ongoing e orts to define a "reference semantics" for the UML, that is, a mathematically defined system model that is envisaged to cover all of the UML eventually, and that also carefully avoids the…

Software Engineering · Computer Science 2014-09-24 Maria Victoria Cengarle , Jürgen Dingel , Hans Grönninger , Bernhard Rumpe

Following the wide investigation in distributed computing issues by mobile entities of the last two decades, we consider the need of a structured methodology to tackle the arisen problems. The aim is to simplify both the design of the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-10-27 Serafino Cicerone , Gabriele Di Stefano , Alfredo Navarra

Cloud computing is an emerging concept combining many fields of computing. The foundation of cloud computing is the delivery of services, software and processing capacity over the Internet, reducing cost, increasing storage, automating…

Networking and Internet Architecture · Computer Science 2011-07-26 Dejan Kovachev , Yiwei Cao , Ralf Klamma

Resources such as bandwidth and energy are limited in many wireless communications use cases, especially when large numbers of sensors and fusion centers need to exchange information frequently. One opportunity to overcome resource…

Systems and Control · Electrical Eng. & Systems 2025-10-14 Eva Julia Schmitt , Benjamin Noack

The application of mobile computing is currently altering patterns of our behavior to a greater degree than perhaps any other invention. In combination with the introduction of BLE (Bluetooth Low Energy) and similar technologies enabling…

Human-Computer Interaction · Computer Science 2017-03-28 Tommy Nilsson

Location- and context-aware services are emerging technologies in mobile and desktop environments, however, most of them are difficult to use and do not seem to be beneficial enough. Our research focuses on designing and creating a…

Software Engineering · Computer Science 2009-06-23 László Kovács , Péter Mátételki , Balázs Pataki

Mobility management is a key aspect to consider in future Internet architectures, as these architectures include a highly nomadic end-user which often relies on services provided by multi-access networks. In contrast, today's mobility…

Networking and Internet Architecture · Computer Science 2017-11-15 Andrea Nascimento , Rute Sofia , Tiago Condeixa , Susana Sargento

The Internet of Things is transforming our society, providing new services that improve the quality of life and resource management. These applications are based on ubiquitous networks of multiple distributed devices, with limited computing…

Networking and Internet Architecture · Computer Science 2023-05-19 Román Cárdenas , Patricia Arroba , José L. Risco-Martín

There is much discussion and debate about how to improve the security and privacy of mobile communication systems, both voice and data. Most proposals attempt to provide incremental improvements to systems that are deployed today. Indeed,…

Computers and Society · Computer Science 2007-05-23 G. Winfield Treese , Lawrence C. Stewart

Future smart environments will be characterized by multiple nodes that sense, collect, and disseminate information about environmental phenomena through a wireless network. In this paper, we define a set of applications that require a new…

Networking and Internet Architecture · Computer Science 2007-05-23 Sameer Tilak , Amy Murphy , Wendi Heinzelman , Nael B. Abu-Ghazaleh

The recent apparition of mobile wireless sensor aware to their physical environment and able to process information must allow proposing applications able to take into account their physical context and to react according to the changes of…

Software Engineering · Computer Science 2008-12-22 Christine Louberry , Marc Dalmau , Philippe Roose

In this paper we present a variant of message sequence diagrams called EETs Extended Event Traces We provide the graphical notation discuss the methodological use of EETs to describe behavior of object oriented business information systems…

Software Engineering · Computer Science 2014-09-26 Ruth Breu , Radu Grosu , Christoph Hofmann , Franz Huber , Ingolf Krüger , Bernhard Rumpe , Monika Schmidt , Wolfgang Schwerin

Wireless data communications in form of Short Message Service (SMS) and Wireless Access Protocols (WAP) browsers have gained global popularity, yet, not much has been done to extend the usage of these devices in electronic learning…

Other Computer Science · Computer Science 2010-03-30 Moumita Majumder , Sumit Dhar

Statements about entities occur everywhere, from newspapers and web pages to structured databases. Correlating references to entities across systems that use different identifiers or names for them is a widespread problem. In this paper, we…

Artificial Intelligence · Computer Science 2014-06-27 R. V. Guha

Several challenges are faced by citizens of urban centers while dealing with day-to-day events, and the absence of a centralised reporting mechanism makes event-reporting and redressal a daunting task. With the push on information…

Computers and Society · Computer Science 2017-08-04 Monika Rani , Sanchit Alekh , Aditya Bhardwaj , Abhinav Gupta , O. P. Vyas

Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or…

Logic in Computer Science · Computer Science 2023-06-22 G. Michele Pinna