Now showing items 41-50 of 1028
Parallel composition of assumption-commitment specifications: a unifying approach for shared variable and distributed message passing concurrency
We unify the parallel composition rule of assumption-commitment specifications for respectively state-based and message-based concurrent processes. Without providing language-dependent definitions, we first assume that the ...
The Method of Levels of Abstraction in Pluralism and Governance of Dialogical Interaction
This paper deploys elements of the philosophy of information (PoI) in order to explore ideas of dialogical governance. Dialogue in the governance of contentious issues is at least partly a response to the recognition of ...
What it means to be a young CI researcher in the 21st century.
E-Learning for Employability: A Case Study from a UK Masters Programme
The MSc Intelligent Systems (IS) and the MSc Intelligent Systems and Robotics (ISR) programmes at De Montfort University are Masters level courses that are delivered both on-site and by distance learning. The courses have ...
A wide-spectrum language for object-based development of real-time systems.
(Elsevier Preprints, 1999-03-15)
A formal design notation is present whose underlying computational model is object-based. The object structure of the model is based on the practical, industry-strength Object Oriented structure development technique ...
A reactive approach to obstacle avoidance in autonomous sailing.
This paper presents a reactive approach to obstacle avoidance for autonomous sailboats. It is an extension to the short course routing method published by Stelzer and Pr¨oll in 2008 which enables it to deal with obstacles ...
Experience and Consciousness: Concepts from the outside in
(Springer International, 2014)
The ‘feel’ of driving a Porsche is unlike that of seeing red (O’Regan, J. Noë, A., 2000). Sensorimotor theory and enactivism hold that looking for mechanisms or something ‘inside the head’ is a mistake in accounting for ...
What is required of requirements? A first stage process towards developing guidelines for responsible research and innovation
(ACM Digital Library as a special issue of the ACM SIGCAS newsletter., 2015)
Responsible research and innovation (RRI) considers the impact of development on stakeholders and provides a direction for the future of science and technology. Therefore, in the practical world of the lab, what is ...
Micro-coolers fabricated as a component in an integrated circuit
(IOP Publishing, 2014-12)
References to past designs.
(Key Centre for Design Computing and Cognition, University of Sydney, 2005)
Designing by adaptation is almost invariably a dominant feature of designing, and references to past designs are ubiquitous in design discourse. Object references serve as indices into designers' stocks of design concepts, ...