English
Related papers

Related papers: ShopList: Programming PDA applications for Windows…

200 papers

While program comprehension tools often use static program analysis techniques to obtain useful information, they usually work only with sufficiently scalable techniques with limited precision. A possible improvement of this approach is to…

Software Engineering · Computer Science 2025-03-21 Robert Husák , Jan Kofroň , Filip Zavoral

Despite the advent of wearable devices and the proliferation of smartphones, there still is no ideal platform that can continuously sense and precisely collect all available contextual information. Ideally, mobile sensing data collection…

Human-Computer Interaction · Computer Science 2015-03-17 Reza Rawassizadeh , Elaheh Momeni , Prajna Shetty

This paper describes the design and development of a location-based mobile shopping application for bakery product shops. Whole application is deployed on cloud. The three-tier architecture consists of, front-end, middle-ware and back-end.…

Computers and Society · Computer Science 2014-11-26 Vijayata Waghmare , Debajyoti Mukhopadhyay

A large number of web applications is based on a relational database together with a program, typically a script, that enables the user to interact with the database through embedded SQL queries and commands. In this paper, we introduce a…

Logic in Computer Science · Computer Science 2016-10-10 Shachar Itzhaky , Tomer Kotek , Noam Rinetzky , Mooly Sagiv , Orr Tamir , Helmut Veith , Florian Zuleger

The rapidly expanding technology of mobile communication will give mobile users capability of accessing information from anywhere and any time. The wireless technology has made it possible to achieve continuous connectivity in mobile…

Databases · Computer Science 2010-04-13 Samidha Dwivedi Sharma , Dr. R. S. Kasana

When designing new web applications, developers must cope with different kinds of constraints relative to the resources they rely on: software, hardware, network, online micro-services, or any combination of the mentioned entities.…

Programming Languages · Computer Science 2026-02-06 Anna Gallone , Simon Bliudze , Sophie Cerf , Olga Kouchnarenko

Formal verification is at the heart of model validation and correctness. With model checking, invaluable realizations have been accomplished in software engineering and particularly in software development. By means of this approach,…

Software Engineering · Computer Science 2023-08-02 Patrick Mukala

This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides many abstract domains, such as BDDs, explicit values,…

Reference sets contain known content that are used to identify relevant or filter irrelevant content. Application profiles are a type of reference set that contain digital artifacts associated with application software. An application…

Software Engineering · Computer Science 2021-03-08 Thomas Laurenson , Stephen MacDonell , Hank Wolfe

We study the efficacy of Small Language Models (SLMs) in facilitating application usage through natural language interactions. Our focus here is on a particular internal application used in Microsoft for cloud supply chain fulfilment. Our…

Computation and Language · Computer Science 2024-06-03 Beibin Li , Yi Zhang , Sébastien Bubeck , Jeevan Pathuri , Ishai Menache

A Rapid evolution of mobile technologies has led to the development of more sophisticated mobile devices with better storage, processing and transmission power. These factors enable support to many types of application but also give rise to…

Software Engineering · Computer Science 2010-07-15 Johnneth Fonseca , Zair Abdelouahab , Denivaldo Lopes , Sofiane Labidi

Number-conserving cellular automata are discrete dynamical systems that simulate interacting particles like e.g. grains of sand. In an earlier paper, I had already derived a uniform construction for all transition rules of one-dimensional…

Cellular Automata and Lattice Gases · Physics 2025-06-02 Markus Redeker

The power of mobile devices has increased dramatically in the last few years. These devices are becoming more sophisticated allowing users to accomplish a wide variety of tasks while on the move. The increasingly mobile nature of business…

Human-Computer Interaction · Computer Science 2011-12-20 Derek Flood , Rachel Harrison , Kevin McDaid

Data mining is a new concept & an exploration and analysis of large data sets, in order to discover meaningful patterns and rules. Many organizations are now using the data mining techniques to find out meaningful patterns from the…

Databases · Computer Science 2011-12-20 Tejaswini Hilage , R. V. Kulkarni

The paper demonstrates the Windows data collectordevelopment process with the built back-end from the require-ments gathering stage till the implementation and testing phase.Each phase throughout the development life cycle of the systemis…

Software Engineering · Computer Science 2020-12-17 Daniel Elambo Atonge , Shokhista Ergasheva , Artem Kruglov , Giancarlo Succi

This paper elaborates the use of static source code analysis in the context of data protection. The topic is important for software engineering in order for software developers to improve the protection of personal data during software…

Software Engineering · Computer Science 2020-03-24 Kalle Hjerppe , Jukka Ruohonen , Ville Leppänen

Skiplists have become prevalent in systems. The main advantages of skiplists are their simplicity and ease of implementation, and the ability to support operations in the same asymptotic complexities as their tree-based counterparts. In…

Databases · Computer Science 2025-05-22 Lu Xing , Venkata Sai Pavan Kumar Vadrevu , Walid G. Aref

This study explores running times of different ways to program cellular automata in C and C++, i.e. looping through arrays by different means, the effect of structures and objects, and the choice of data structure (array versus vector in…

Programming Languages · Computer Science 2024-11-01 Patrik Christen

Companies developing Web applications have faced an increasing demand for high-quality products with low cost and production time ever smaller. However, developing such applications is still considered a time-consuming and error-prone task,…

Software Engineering · Computer Science 2024-04-05 Maicon Azevedo da Luz , Kleinner Farias

A large amount of data resulting from trajectories of moving objects activities are collected thanks to localization based services and some associated automated processes. Trajectories data can be used either for transactional and analysis…

Databases · Computer Science 2011-02-23 Wided Oueslati , Jalel Akaichi