Result 101 to 120 of 354 total
io-port 05314607 Lewis, Elfed;
Clifford, John;
Fitzpatrick, Colin;
Dooly, Gerard;
Zhao, Weizhong;
Sun, Tong;
Grattan, Ken;
Lucas, James;
Degner, Martin;
Ewald, Hartmut;
Lochmann, Steffen;
Bramann, Gero;
Merlone-Borla, Edoardo;
Gili, Flavio
Monitoring of environmentally hazardous exhaust emissions from cars using optical fibre sensors. (English)
Bereković, Mladen (ed.) et al., Embedded computer systems: Architectures, modeling, and simulation. 8th international workshop, SAMOS 2008, Samos, Greece, July 21‒24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70549-9/pbk). Lecture Notes in Computer Science 5114, 238-247 (2008).
101
Creating and testing textbooks for secondary schools. An example: Programming in LOGO. (English)
Mittermeir, Roland T. (ed.) et al., Informatics education ‒ supporting computational thinking. Third international conference on informatics in secondary schools ‒ evolution and perspectives, ISSEP 2008, Torun, Poland, July 1‒4, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69923-1/pbk). Lecture Notes in Computer Science 5090, 216-228 (2008).
102
From the how to the what. (English)
Meyer, Bertrand (ed.) et al., Verified software: Theories, tools, experiments. First IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10‒13, 2005. Revised selected papers and discussions. Berlin: Springer (ISBN 978-3-540-69147-1/pbk). Lecture Notes in Computer Science 4171, 448-459 (2008).
103
Seven variations of an alignment workflow ‒ an illustration of agile process design and management in Bio-jETI. (English)
Măndoiu, Ion (ed.) et al., Bioinformatics research and applications. Fourth international symposium, ISBRA 2008, Atlanta, GA, USA, May 6‒9, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79449-3/pbk). Lecture Notes in Computer Science 4983. Lecture Notes in Bioinformatics, 445-456 (2008).
104
Dynamic testing via automata learning. (English)
Yorav, Karen (ed.), Hardware and software: Verification and testing. Third international Haifa verification conference, HVC 2007, Haifa, Israel, October 23‒25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-77964-3/pbk). Lecture Notes in Computer Science 4899, 136-152 (2008).
105
Plug and play with FMICS-jeti: beyond scripting and coding (English)
ERCIM News 2008, No. 73 (2008).
106
io-port 70020018 Lewis, Elfed;
Clifford, John;
Fitzpatrick, Colin;
Dooly, Gerard;
Zhao, Weizhong;
Sun, Tong;
Grattan, K. T. V.;
Lucas, James;
Degner, Martin;
Ewald, Hartmut;
Lochmann, Steffen;
Bramann, Gero;
Merlone-Borla, Edoardo;
Gili, Flavio
Monitoring of environmentally hazardous exhaust emissions from cars using optical fibre sensors (English)
SAMOS, 238-247 (2008).
107
Hybrid test of web applications with webtest (English)
TAV-WEB, 1-7 (2008).
108
Applying visualisation techniques in software product lines (English)
SOFTVIS, 175-184 (2008).
109
Multi-task learning for HIV therapy screening (English)
ICML, 56-63 (2008).
110
The jabc approach to rigorous collaborative development of SCM applications (English)
ISoLA, 724-737 (2008).
111
SCA and jabc: bringing a service-oriented paradigm to web-service construction (English)
ISoLA, 139-154 (2008).
112
Agile IT: thinking in user-centric models (English)
ISoLA, 490-502 (2008).
113
Creating and testing textbooks for secondary schools (English)
ISSEP, 216-228 (2008).
114
Seven variations of an alignment workflow - an illustration of agile process design and management in bio-jeti (English)
ISBRA, 445-456 (2008).
115
Leveraging applications of formal methods, verification and validation, third international symposium, isola 2008, Porto sani, Greece, October 13-15, 2008. Proceedings (English)
Communications in Computer and Information Science: ISoLA 17 (2008).
116
Realizing hybrid planning systems as modern software environments. (English)
KI, Künstl. Intell. 21, No. 1, 16-22 (2007).
117
Model-driven development with the jABC. (English)
Bin, Eyal (ed.) et al., Hardware and software, verification and testing. Second international Haifa verification conference, HVC 2006, Haifa, Israel, October 23‒26, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-70888-9/pbk). Lecture Notes in Computer Science 4383, 92-108 (2007).
118
io-port 05464685 Hawe, Eamonn;
Dooly, Gerard;
Fitzpatrick, Colin;
Chambers, Paul;
Lewis, Elfed;
Zhao, Weizhong;
Sun, Tong;
Grattan, K.T.V.;
Degner, Martin;
Ewald, Hartmut;
Lochmann, Steffen;
Bramman, G.;
Wei, C.;
Hitchen, D.;
Lucas, James;
Al-Shamma’a, A.;
Merlone-Borla, Edoardo;
Faraldi, P.;
Pidria, M.
Measuring of exhaust gas emissions using absorption spectroscopy. (English)
Int. J. Intell. Syst. Technol. Appl. 3, No. 1-2, 33-51 (2007).
119
Full life-cycle support for end-to-end processes. (English)
Computer 40, No. 11, 64-73 (2007).
120
Result 101 to 120 of 354 total
Start
Contact
Print
General Help
