Items where Division is "Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg) > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)" and Year is 2007
 | Up a level |
Number of items: 77.
A
Type: Conference or Workshop Item
| 2007
Creating structure from disorder: using folksonomies to create semantic metadata - Hend S. Al-Khalifa, Hugh C. Davis and Lester Gilbert
Type: Conference or Workshop Item
| 2007
Architecture level power-performance trade-offs for pipelined design - Haider Ali and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2007
Energy optimization of multiprocessor systems on chip by voltage selection - Alexandru Andrei, Pertu Eles, Zebo Peng, Marcus Schmitz and Bashir M. Al-Hashimi
Type: Article
| 2007
Type: Conference or Workshop Item
| 2007
An Improved Approach to Secure Authentication and Signing - David Argles, Alex Pease and Robert J Walters
Type: Conference or Workshop Item
| 2007
| Item availability restricted.
B
Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction - Elisabeth Ball and Michael Butler
Type: Conference or Workshop Item
| 2007
Engineering and theoretical underpinnings of retrenchment - Richard Banach, Michael Poppleton, Czeslaw Jeske and Susan Stepney
Type: Article
| 2007
Type: Conference or Workshop Item
| 2007
| BCS, The Chartered Institute for IT
Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMToFT 2007). - Michael Butler, Cliff Jones, Alexander Romanovsky and Elena Troubitsyna
Type: Other
| 2007
| Item not available on this server.
C
Type: Article
| 2007
Type: Conference or Workshop Item
| 2007
Type: Conference or Workshop Item
| 2007
DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data - Stephen Crouch, Peter Henderson and Robert John Walters
Type: Conference or Workshop Item
| 2007
| Item availability restricted.
D
Semantically Resolving Type Mismatches in Scientific Workflows - Kheiredine Derouiche and Denis A Nicole
Type: Article
| 2007
March CRF: an Efficient Test for Complex Read Faults in SRAM Memories - L Dilillo and B M Al-Hashimi
Type: Conference or Workshop Item
| 2007
E
Efficient test compaction for combinational circuits based on Fault detection count-directed clustering - Aiman El-Maleh and Syed Saqib Khursheed
Type: Article
| 2007
F
Assessing The Usefulness Of Mini-games As Educational Resources - Alex Frazer, David Argles and Gary Wills
Type: Conference or Workshop Item
| 2007
Is Less Actually More? The Usefulness Of Educational Mini-games - Alex Frazer, David Argles and Gary Wills
Type: Conference or Workshop Item
| 2007
G
Type: Conference or Workshop Item
| 2007
| Item not available on this server.
Pedagogically informed metadata content and structure for learning and teaching - Lester Gilbert and Onjira Sitthisak
Type: Conference or Workshop Item
| 2007
Type: Monograph
| 2007
Type: Monograph
| 2007
| Item availability restricted.
Type: Monograph
| 2007
| Item availability restricted.
Type: Monograph
| 2007
| Item availability restricted.
Type: Monograph
| 2007
| Item availability restricted.
Type: Conference or Workshop Item
| 2007
H
AnnAnn and AnnAnn.Net : Tools for Teaching Programming - Clare Hooper, Leslie Carr, Hugh Davis, David Millard, Su White and Gary Wills
Type: Article
| 2007
I
A Novel Approach of Implementing an FFT Algorithm on OFDM System - Nafiz Imtiaz, Anwarul Azim, Rishad Shafik and Muhammad
Type: Conference or Workshop Item
| 2007
| Item not available on this server.
J
Data Mining to Support Engineering Design Decision - Pooja Jadhav, Sylvia C Wong, Gary B Wills, Richard M Crowder and Nigel R Shadbolt
Type: Conference or Workshop Item
| 2007
Transforming timing diagrams into knowledge acquisition in automated specification - Tossaporn Joochim and Mike Poppleton
Type: Conference or Workshop Item
| 2007
K
A Fast, Numerical Circuit-Level Model of Carbon Nanotube Transistor - Tom Kazmierski, Dafeng Zhou and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2007
L
Verification of Succinct Hierarchical State Machines - Salvatore La Torre, Margherita Napoli, Mimmo Parente and Gennaro Parlato
Type: Conference or Workshop Item
| 2007
Validating and Animating Higher-Order Recursive Functions in B - Michael Leuschel, Dominique Cansell and Michael Butler
Type: Conference or Workshop Item
| 2007
M
Adaptive Personal Information Environment based on the Semantic Web - Thanyalak Maneewatthana, Gary Wills and Wendy Hall
Type: Article
| 2007
| Item availability restricted.
Won’t on-chip clock calibration guarantee performance boost and product quality? - Cecilia Metra, Daniele Rossi and T.M. Mak
Type: Article
| 2007
| Item availability restricted.
Towards a Canonical View of Peer Assessment - David Millard, Karen Fill, Lester Gilbert, Yvonne Howard, Patrick Sinclair, Damilola Senbanjo and Gary Wills
Type: Conference or Workshop Item
| 2007
The Service Responsibility and Interaction Design Method: Using an Agile approach for Web Service Design - David Millard, Yvonne Howard, Noura Abbas, Hugh Davis, Lester Gilbert, Gary Wills and Robert Walters
Type: Conference or Workshop Item
| 2007
N
Stay unpopular-and get rich quick - Denis Nicole
Type: Article
| 2007
| Item availability restricted.
Type: Article
| 2007
New Schools in the East and west of Southampton - Denis A Nicole
Type: Article
| 2007
O
Reducing Interconnect Cost in NoC through Serialized Asynchronous Links - S Ogg, E Valli, C D'Allesandro, A Yakovlev, B Al-Hashimi and L Benini
Type: Conference or Workshop Item
| 2007
Latch susceptibility to transient faults and new hardening approach - Martin Omana, Daniele Rossi and Cecilia Metra
Type: Article
| 2007
| Item availability restricted.
P
Towards Feature-Oriented Specification and Development with Event-B - Michael Poppleton
Type: Conference or Workshop Item
| 2007
R
Exploration of potential of strained-Si CMOS for ultra low-power circuit design - Hiran Ramakrishnan, Sanatan Chattopadhyay, Koushik Maharatna, S Shedable and Alex Yakovlev
Type: Conference or Workshop Item
| 2007
Impact of strain on the design of low-power high-speed circuits - Hiran Ramkrishnan, Koushik Maharatna, Sanatan Chattopadhyay, Alex Yakovlev and Anthony O'Neill
Type: Conference or Workshop Item
| 2007
Type: Conference or Workshop Item
| 2007
Comprehensibility of UML-B - A Series of Controlled Experiments - R Razali, C Snook, M Poppleton and P Garratt
Type: Monograph
| 2007
Comprehensibility of UML-based Formal Model – A Series of Controlled Experiments - R Razali, C. F. Snook and M. R. Poppleton
Type: Conference or Workshop Item
| 2007
Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One - R Razali, C. F. Snook, M. R. Poppleton, P. W. Garratt and R. J. Walters
Type: Conference or Workshop Item
| 2007
Configurable error control scheme for NoC signal integrity - Daniele Rossi, Paolo Angelini and Cecilia Metra
Type: Conference or Workshop Item
| 2007
Modeling crosstalk effects in CNT bus architectures - Daniele Rossi, Jose Manuel Cazeaux, Cecilia Metra and Fabrizio Lombardi
Type: Article
| 2007
| Item availability restricted.
S
Automatic Testing from Formal Specifications - Manoranjan Satpathy, Michael Butler, Michael Leuschel and S Ramesh
Type: Conference or Workshop Item
| 2007
Towards a competency model for adaptive assessment to support lifelong learning - Onjira Sitthisak, Lester Gilbert and Hugh C Davis
Type: Conference or Workshop Item
| 2007
Transforming a competency model to assessment items - Onjira Sitthisak, Lester Gilbert and Hugh C Davis
Type: Conference or Workshop Item
| 2007
Adapting health care competencies to a formal competency model - Onjira Sitthisak, Lester Gilbert, Hugh C Davis and Mary Gobbi
Type: Conference or Workshop Item
| 2007
Interactivity within IMS Learning Design and Question and Test Interoperability - Onjira Sitthisak, Lester Gilbert, Mohd T Zalfan and Hugh C Davis
Type: Conference or Workshop Item
| 2007
On the hardware reduction of z-datapath of vectoring CORDIC - Robert Stapenhurst, Koushik Maharatna, Jimson Matthew, Jose Nunez-Yanez and Dhiraj Pradhan
Type: Conference or Workshop Item
| 2007
T
A Robust Class of Context-Sensitive Languages - Salvatore La Torre, Parthasarathy Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item
| 2007
On the Complexity of LtlModel-Checking of Recursive State Machines - Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2007
Efficient inner-receiver design for OFDM-based WLAN systems: Algorithm and architecture - Alfonso Troya, Koushik Maharatna, Milos Krstic, Eckhard Grass, Ulrich Jagdhold and Rolf Kraemer
Type: Article
| 2007
Symmetry Reduced Model Checking for B - Edd Turner, Michael Leuschel, Corinna Spermann and Michael Butler
Type: Conference or Workshop Item
| 2007
W
Finding the Right Tool for the Community:Bringing a Wiki-Type Editor to the World of Reusable Learning Objects - Chu Wang, Hugh Davis, Kate Dickens, Gary Wills and Su White
Type: Conference or Workshop Item
| 2007
Community Tools for Repurposing Learning Objects - Chu Wang, Kate Dickens, Hugh Davis and Gary Wills
Type: Conference or Workshop Item
| 2007
An Integrated Approach to Energy Harvester Modeling and Performance Optimization - Leran Wang, Tom Kazmierski, Bashir Al-Hashimi, Steve Beeby and Russel Torah
Type: Conference or Workshop Item
| 2007
AN E-LEARNING FRAMEWORK FOR ASSESSMENT (FREMA) - Gary Wills, Christopher Bailey, Hugh Davis, Lester Gilbert, Yvonne Howard, Steve Jeyes, David Millard, Joseph Price, Niall Sclater, Robert Sherratt, Iain Tulloch and Rowin Young
Type: Conference or Workshop Item
| 2007
Delivery of QTIv2 Question Types - Gary Wills, Hugh Davis, Lester Gilbert, Jonathon Hare, Yvonne Howard, Steve Jeyes, David Millard and Robert Sherratt
Type: Conference or Workshop Item
| 2007
An Agile Hypertext Design Methodology - Gary B. Wills, Noura Abbas, Rakhi Chandrasekharan, Richard M. Crowder, Lester Gilbert, Yvonne Howard, David E. Millard, Sylvia C. Wong and Robert J Walters
Type: Conference or Workshop Item
| 2007
Informing Preliminary Design by Incorporating Service Knowledge - Sylvia C Wong, Richard M Crowder, Gary B Wills and Nigel R Shadbolt
Type: Conference or Workshop Item
| 2007
Lesson Learnt from a Large-Scale Industrial Semantic Web Application - Sylvia C Wong, Richard M Crowder, Gary B Wills and Nigel R Shadbolt
Type: Conference or Workshop Item
| 2007
Y
Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts - Divakar Yadav and Michael Butler
Type: Conference or Workshop Item
| 2007
Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B - Divakar Yadav and Michael Butler
Type: Monograph
| 2007
Automatic Translation from Combined B and CSP specification to Java Programs - Letu Yang and Michael Poppleton
Type: Conference or Workshop Item
| 2007
JCSProB: Implementing Integrated Formal Specifications in Concurrent Java - Letu Yang and Michael Poppleton
Type: Conference or Workshop Item
| 2007
Z
Testing of Level Shifters in Multiple Voltage Designs - Noohul Basheer Zain Ali, Mark Zwolinski and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2007
Enhancing delay fault coverage through low power segmented scan - Zhuo Zhang, Sudhakar M. Reddy, Irith Pomeranz, Janusz Rajski and Bashir M. Al-Hashimi
Type: Article
| 2007
Thermal-Aware Soc Test Scheduling with Test Set Partitioning and Interleaving - He Zhiyuan, Zepo Peng, Petru Eles, Paul Rosinger and Bashir M. Al-Hashimi
Type: Article
| 2007