Result 1 to 20 of 101 total
Property grammar parsing seen as a constraint optimization problem. (English)
de Groote, Philippe (ed.) et al., Formal grammar. 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32023-1/pbk). Lecture Notes in Computer Science 7395, 82-96 (2012).
1
Omiga: an open minded grounding on-the-fly answer set solver. (English)
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26‒28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 480-483 (2012).
2
Multi-class network with phase type service time and group deletion signal. (English)
Thomas, Nigel (ed.), Computer performance engineering. 8th European performance engineering workshop, EPEW 2011, Borrowdale, UK, October 12‒13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24748-4/pbk). Lecture Notes in Computer Science 6977, 189-203 (2011).
3
Comparison of upwind and centered schemes for low Mach number flows. (English)
Fořt, Jaroslav (ed.) et al., Finite volumes for complex applications VI: Problems and perspectives. FVCA 6, international symposium, Prague, Czech Republich, June 6‒10, 2011. Vol. 1 and 2. Berlin: Springer (ISBN 978-3-642-20670-2/hbk; 978-3-642-20671-9/ebook). Springer Proceedings in Mathematics 4, 303-311 (2011).
4
First-order encodings for modular nonmonotonic datalog programs. (English)
de Moor, Oege (ed.) et al., Datalog reloaded. First international workshop, Datalog 2010, Oxford, UK, March 16‒19, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24205-2/pbk). Lecture Notes in Computer Science 6702, 59-77 (2011).
5
G-networks with synchronised arrivals. (English)
Perform. Eval. 68, No. 4, 309-319 (2011).
6
A native and adaptive approach for unified processing of linked streams and linked data. (English)
Aroyo, Lora (ed.) et al., The semantic web ‒ ISWC 2011. 10th international semantic web conference, Bonn, Germany, October 23‒27, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-25072-9/pbk). Lecture Notes in Computer Science 7031, 370-388 (2011).
7
Characterizing conclusive approximations by logical formulae. (English)
Delzanno, Giorgio (ed.) et al., Reachability problems. 5th international workshop, RP 2011, Genoa, Italy, September 28‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24287-8/pbk). Lecture Notes in Computer Science 6945, 72-84 (2011).
8
A model-theoretic framework for grammaticality judgements. (English)
de Groote, Philippe (ed.) et al., Formal grammar. 14th international conference, FG 2009, Bordeaux, France, July 25‒26, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20168-4/pbk). Lecture Notes in Computer Science 5591. Lecture Notes in Artificial Intelligence, 17-30 (2011).
9
Security sensitive data flow coverage criterion for automatic security testing of web applications. (English)
Erlingsson, Úlfar (ed.) et al., Engineering secure software and systems. Third international symposium, ESSoS 2011, Madrid, Spain, February 9‒10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19124-4/pbk). Lecture Notes in Computer Science 6542, 101-113 (2011).
10
Multiple class symmetric G-networks with phase type service times (English)
Comput. J. 54, No. 2, 274-284 (2011).
11
Model-theory of property grammars with features (English)
IWPT, 75-79 (2011).
12
Problem frames-based approach to achieving quality attributes in software product line engineering (English)
SPLC, 175-180 (2011).
13
Characterizing conclusive approximations by logical formulae (English)
RP, 72-84 (2011).
14
A native and adaptive approach for unified processing of linked streams and linked data (English)
International Semantic Web Conference (1), 370-388 (2011).
15
Security sensitive data flow coverage criterion for automatic security testing of web applications (English)
ESSoS, 101-113 (2011).
16
Coverage criteria for automatic security testing of web applications. (English)
Jha, Somesh (ed.) et al., Information systems security. 6th international conference, ICISS 2010, Gandhinagar, India, December 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17713-2/pbk). Lecture Notes in Computer Science 6503, 111-124 (2010).
17
Mapping features to reusable components: a problem frames-based approach. (English)
Bosch, Jan (ed.) et al., Software product lines: going beyond. 14th international conference, SPLC 2010, Jeju Island, South Korea, September 13‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15578-9/pbk). Lecture Notes in Computer Science 6287, 377-392 (2010).
18
Multiple class symmetric G-networks with phase type. (English)
Gelenbe, Erol (ed.) et al., Computer and information science. Proceedings of the 25th international symposium on computer and information sciences, London, UK, September 22‒24, 2010. Dordrecht: Springer (ISBN 978-90-481-9793-4/hbk; 978-90-481-9794-1/ebook). Lecture Notes in Electrical Engineering 62, 51-56 (2010).
19
The DMCS solver for distributed nonmonotonic multi-context systems. (English)
Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 352-355 (2010).
20
Result 1 to 20 of 101 total
Start
Contact
Print
General Help
