English
Related papers

Related papers: Proceedings Ninth International Workshop on Founda…

200 papers

Computation nowadays is becoming inherently concurrent, either because of characteristics of the hardware (with multicore processors becoming omnipresent) or due to the ubiquitous presence of distributed systems (incarnated in the…

Software Engineering · Computer Science 2011-08-01 Mohammad Reza Mousavi , Antonio Ravara

DCM 2010 provides a forum for ideas about new computing means and models, with a particular emphasis in 2010 on computational and causal models related to physics and biology. We believe that bringing together different approaches - in a…

Quantum Physics · Physics 2010-07-26 S. Barry Cooper , Prakash Panangaden , Elham Kashefi

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

This ongoing study deals with an important part of a line of research that constitutes a challenging burden. It is an initial investigation into the development of a Holistic Framework for Cellular Communication (HFCC). The main purpose is…

Software Engineering · Computer Science 2012-07-12 Neji Hasni , Ridha Bouallegue

Graphs are common mathematical structures that are visual and intuitive. They constitute a natural and seamless way for system modelling in science, engineering and beyond, including computer science, biology, business process modelling,…

Formal Languages and Automata Theory · Computer Science 2020-12-03 Berthold Hoffmann , Mark Minas

Mobile Cloud Computing (MCC) which combines mobile computing and cloud computing, has become one of the industry buzz words and a major discussion thread in the IT world since 2009. As MCC is still at the early stage of development, it is…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-06-07 Han Qi , Abdullah Gani

This volume contains the post-proceedings of the Twelfth International Workshop on Graph Computation Models (GCM 2021). The workshop was part of STAF 2021 (Software Technologies: Applications and Foundations) as an online-workshop on 22nd…

Formal Languages and Automata Theory · Computer Science 2021-12-21 Berthold Hoffmann , Mark Minas

With smart devices, particular smartphones, becoming our everyday companions, the ubiquitous mobile Internet and computing applications pervade people daily lives. With the surge demand on high-quality mobile services at anywhere, how to…

Networking and Internet Architecture · Computer Science 2016-03-31 Tom H. Luan , Longxiang Gao , Zhi Li , Yang Xiang , Guiyi Wei , Limin Sun

With smart devices, particular smartphones, becoming our everyday companions, the ubiquitous mobile Internet and computing applications pervade people's daily lives. With the surge demand on high-quality mobile services at anywhere, how to…

Networking and Internet Architecture · Computer Science 2016-03-09 Tom H. Luan , Longxiang Gao , Zhi Li , Yang Xiang , Guiyi We , Limin Sun

Mobile devices such as smartphones and tablets have become ubiquitous in today's modern computing landscape. The applications that run on these mobile devices (often referred to as "apps") have become a primary means of computing for…

Software Engineering · Computer Science 2018-07-20 Kevin Moran

The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practical ideas. The International Workshop on Programming Language…

Programming Languages · Computer Science 2022-03-24 Marco Carbone , Rumyana Neykova

The aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated…

Software Engineering · Computer Science 2014-04-03 Bara Buhnova , Lucia Happe , Jan Kofroň

This volume contains the post-proceedings of the Sixteenth International Workshop on Graph Computation Models (GCM 2025). The workshops took place in Koblenz, Germany on June 10 as part of STAF (Software Technologies: Applications and…

Logic in Computer Science · Computer Science 2026-01-07 Leen Lambers , Oszkár Semeráth

Immersive computing (IC) technologies such as virtual reality and augmented reality are gaining tremendous popularity. In this poster, we present CoIC, a Cooperative framework for mobile Immersive Computing. The design of CoIC is based on a…

Networking and Internet Architecture · Computer Science 2018-08-14 Zeqi Lai , Yong Cui , Ziyi Wang , Xiaoyu Hu

This volume contains the proceedings of DCM 2015, the 11th International Workshop on Developments in Computational Models held on October 28, 2015 in Cali, Colombia. DCM 2015 was organized as a one-day satellite event of the 12th…

Logic in Computer Science · Computer Science 2016-03-03 César A. Muñoz , Jorge A. Pérez

Foundation models (FMs), including large language models, have become increasingly popular due to their wide-ranging applicability and ability to understand human-like semantics. While previous research has explored the use of FMs in…

Signal Processing · Electrical Eng. & Systems 2024-10-28 Peiwen Jiang , Chao-Kai Wen , Xinping Yi , Xiao Li , Shi Jin , Jun Zhang

This volume contains the post-proceedings of the Tenth International Workshop on Graph Computation Models (GCM 2019: http://gcm2019.imag.fr). The workshop was held in Eindhoven, The Netherlands, on July 17th, 2019, as part of STAF 2019…

Logic in Computer Science · Computer Science 2019-12-20 Rachid Echahed , Detlef Plump

This volume contains a selection of the papers presented at the Ninth International Workshop on Developments in Computational Models (DCM 2013) held in Buenos Aires, Argentina on 26th August 2013, as a satellite event of CONCUR 2013.…

Logic in Computer Science · Computer Science 2014-04-01 Mauricio Ayala-Rincón , Eduardo Bonelli , Ian Mackie

The importance of ground Mobile Robots (MRs) and Unmanned Aerial Vehicles (UAVs) within the research community, industry, and society is growing fast. Many of these agents are nowadays equipped with communication systems that are, in some…

Robotics · Computer Science 2024-04-04 Daniel Bonilla Licea , Mounir Ghogho , Martin Saska

Modern hardware platforms, from the very small to the very large, increasingly provide parallel and distributed computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens,…

Programming Languages · Computer Science 2020-04-03 Stephanie Balzer , Luca Padovani
‹ Prev 1 2 3 10 Next ›