Sciweavers

1245 search results - page 218 / 249
» Towards a systematic approach for designing autonomic system...
Sort
View
DIS
2010
Springer
13 years 5 months ago
An Artificial Experimenter for Enzymatic Response Characterisation
Identifying the characteristics of biological systems through physical experimentation, is restricted by the resources available, which are limited in comparison to the size of the...
Chris Lovell, Gareth Jones, Steve R. Gunn, Klaus-P...
PROMAS
2005
Springer
14 years 1 months ago
Declarative Agent Programming Support for a FIPA-Compliant Agent Platform
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...
Mengqiu Wang, Mariusz Nowostawski, Martin K. Purvi...
BCS
2008
13 years 9 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
UIST
2004
ACM
14 years 29 days ago
Hierarchical parsing and recognition of hand-sketched diagrams
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
Levent Burak Kara, Thomas F. Stahovich
DATE
2006
IEEE
113views Hardware» more  DATE 2006»
14 years 1 months ago
Automatic ADL-based operand isolation for embedded processors
Cutting-edge applications of future embedded systems demand highest processor performance with low power consumption to get acceptable battery-life times. Therefore, low power opt...
Anupam Chattopadhyay, B. Geukes, David Kammler, Er...