Result 1 to 20 of 146 total
Regular languages are Church-Rosser congruential. (English)
Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Warwick, UK, July 9‒13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31584-8/pbk). Lecture Notes in Computer Science 7392, 177-188 (2012).
1
Barrieren am Weg zum Mobile Contactless Payment: Eine Marktanalyse und Bestandsaufnahme der Situation in der Schweiz. (German)
Back, Andrea (ed.) et al., Mobile und Ubiquitäre Informationssysteme (MMS 2012). Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-296-3). Lect. Notes Inform. 202, 42-55 (2012).
2
Evaluation of facial reconstructive surgery on patients with facial palsy using optical strain. (English)
Real, Pedro (ed.) et al., Computer analysis of images and patterns. 14th international conference, CAIP 2011, Seville, Spain, August 29‒31, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-23671-6/pbk). Lecture Notes in Computer Science 6854, 512-519 (2011).
3
Validation of families of business processes. (English)
Mouratidis, Haralambos (ed.) et al., Advanced information systems engineering. 23rd international conference, CAiSE 2011, London, UK, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21639-8/pbk). Lecture Notes in Computer Science 6741, 551-565 (2011).
4
Code pointer masking: Hardening applications against code injection attacks. (English)
Holz, Thorsten (ed.) et al., Detection of intrusions and malware, and vulnerability assessment. 8th international conference: DIMVA 2011, Amsterdam, The Netherlands, July 7‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22423-2/pbk). Lecture Notes in Computer Science 6739, 194-213 (2011).
5
Efficient lower bounds and heuristics for the variable cost and size bin packing problem. (English)
Comput. Oper. Res. 38, No. 11, 1474-1482 (2011).
6
Interoperability services for models and ontologies. (English)
Barzdins, Janis (ed.) et al., Databases and information systems VI. Selected papers from the 9th international Baltic conference DB\&IS 2010, Riga, Latvia, July, 5‒7. Amsterdam: IOS Press (ISBN 978-1-60750-687-4/hbk). Frontiers in Artificial Intelligence and Applications 224, 19-36 (2011).
7
Estimating the effect of satellite orbital error using wavelet-based robust regression applied to insar deformation data (English)
IEEE T. Geoscience and Remote Sensing 49, No. 11, 4600-4605 (2011).
8
Efficient lower bounds and heuristics for the variable cost and size bin packing problem (English)
Computers & OR 38, No. 11, 1474-1482 (2011).
9
Validation of families of business processes (English)
CAiSE, 551-565 (2011).
10
Polymorphic bytecode instrumentation (English)
AOSD, 129-140 (2011).
11
Software modeling using ontology technologies (English)
Foundations for the Web of Information and Services, 193-213 (2011).
12
Code pointer masking: hardening applications against code injection attacks (English)
DIMVA, 194-213 (2011).
13
Efficient color-dressed calculation of virtual corrections. (English)
Nucl. Phys., B 840, No. 1-2, 214-270 (2010).
14
A model-driven approach for using templates in OWL ontologies. (English)
Cimiano, Philipp (ed.) et al., Knowledge engineering and management by the masses. 17th international conference, EKAW 2010, Lisbon, Portugal, October 11‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16437-8/pbk). Lecture Notes in Computer Science 6317. Lecture Notes in Artificial Intelligence, 350-359 (2010).
15
Model driven engineering with ontology technologies. (English)
Aßmann, Uwe (ed.) et al., Reasoning web. Semantic technologies for software engineering. 6th international summer school 2010, Dresden, Germany, August 30 ‒ September 3, 2010. Tutorial lectures. Berlin: Springer (ISBN 978-3-642-15542-0/pbk). Lecture Notes in Computer Science 6325, 62-98 (2010).
16
Joint language and domain engineering. (English)
Kühne, Thomas (ed.) et al., Modelling foundations and applications. 6th European conference, ECMFA 2010, Paris, France, June 15‒18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13594-1/pbk). Lecture Notes in Computer Science 6138, 321-336 (2010).
17
Towards semantic modeling of network physical devices. (English)
Ghosh, Sudipto (ed.), Models in software engineering. Workshops and symposia at MODELS 2009, Denver, CO, USA, October 4‒9, 2009. Reports and revised selected papers. Berlin: Springer (ISBN 978-3-642-12260-6/pbk). Lecture Notes in Computer Science 6002, 329-343 (2010).
18
Runtime monitoring for next generation Java ME platform (English)
Computers & Security 29, No. 1, 74-87 (2010).
19
Joint language and domain engineering (English)
ECMFA, 321-336 (2010).
20
Result 1 to 20 of 146 total
Start
Contact
Print
General Help
