Research Publications
All Book - 2011 | |
| Narrow your search | 33 result(s) |
By Type By Year By Research Group | This is the 6th Middleware for Service Oriented Computing (MW4SOC) workshop, organized annually at the ACM/IFIP/USENIX International Middleware Conference. Each received research paper submission was peer reviewed (with blinded author data) by four or ... Bisimulation equivalence is a semantic equivalence relation on labelled transition systems, which are used to represent distributed systems. It identifies systems with the same branching structure. ... take advantage of device-specific features such as sensors, location and context awareness. This international volume of book chapters will make a contribution towards exploring and better understanding the opportunities and challenges provided by tools, ... This chapter reports on research work that aims to overcome some limitations of conventional community engagement for urban planning. Adaptive and human-centred design approaches that are well established in human-computer interaction (such as personas ... ... highly complex, human-centred endeavour, which involves many uncertain factors in the course of the development process. This book presents the pioneering research on qualitative (and semi-quantitative) modeling and simulation of software process, as an ... ... SOA system from a perspective of mechanistic organization, this book borrows Divide-and-Conquer (D&C) as the generic strategy to ... implementation to that for individual WSCs. As such, this book reveals an initial and qualitative step toward effort judgment... Over the past decade, rapidly growing Internet-based services such as e-mail, blogging, social networking, search and e-commerce have substantially redefined the way consumers communicate, access contents, share information and purchase products. ... Cloud computing technologies enable the provisioning of computing infrastructure/resources, platforms, and software applications over the Internet. Using clouds can help improve scalability and flexibility of computing infrastructure and reduce its total ... Nowadays, a simple query in Google image search will return millions of re-sults. Apparently this is not because existing vision technologies for object recog-nition are performing at such a high-level ; on the contrary, while human beings can recognize ... The International Joint Conference on Artificial Intelligence (IJCAI) is the premier international gathering of leading AI researchers and practitioners from all over the world. Held biennially in odd-numbered years since 1969, IJCAI highlights the latest... ... systems, and computational complexity. This book provides a concise introduction to the ... of preference aggregation and manipulation. The book is centered around the notion of ... preferences in matching problems. The book is intended for students and ... This chapter proposes a view of business processes as designed artefacts that are ontologically no different than artefacts in domains such as mechanical and software engineering. This view distinguishes three concerns for designing processes: ... This chapter describes the essential elements of model-driven architecture approaches. It then shows how the ICDE team could use model-driven techniques to automate the development, deployment and results gathering of an ICDE installation for efficient ... A fluent flow of health information is critical for health communication and decision making. However, the flow is fragmented by the large amount of textual records and their specific jargon. This creates risks for both patient safety and cost-effective ... ... tracking problems and supports them in designing their own tracking filters under their unique application constraints. The book concludes with a chapter on issues critical to successful implementation of tracking algorithms, such as track initialization ... Robust foreground object segmentation via background modelling is a difficult problem in cluttered environments, where obtaining a clear view of the background to model is almost impossible. In this paper, we propose a method capable of robustly ... This paper argues that an explicit account of rationale is essential for the effective management and evolution of semi-structured processes. Our approach is based on a view of semi-structured process models as unfinished products whose design is ... Epilogue for the edited book "Nexus: New Intersections in Internet Research" This chapter focuses on the problem of recovering a hyperspectral texture descriptor based upon harmonic analysis. The chapter departs from the use of Fourier transforms to model hyperspectral textures in terms of probability distributions. This provides ... |