Result 1 to 20 from 2475 total
Ontology-driven software engineering: beyond model checking and transformations. (English)
Int. J. Semant. Comput. 6, No. 2, 205-242 (2012).
1
Kemnad: a knowledge engineering methodology for negotiating agent development. (English)
Comput. Intell. 28, No. 1, 51-105 (2012).
2
Combining the sweep-line method with the use of an external-memory priority queue. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 43-61 (2012).
3
Cyberinfrastructure support for engineering virtual organization for cyberdesign. (English)
Wyrzykowski, Roman (ed.) et al., Parallel processing and applied mathematics. 9th international conference, PPAM 2011, Torun, Poland, September 11‒14, 2011. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-31499-5/pbk). Lecture Notes in Computer Science 7204, 161-170 (2012).
4
Compositional design of isochronous systems. (English)
Sci. Comput. Program. 77, No. 2, 113-128 (2012).
5
Annotating problem diagrams with architectural tactics for reasoning on quality requirements. (English)
Inf. Process. Lett. 112, No. 16, 656-661 (2012).
6
Software process certification system based on K-model for high-performance software engineering. (English)
Concurrency Comput. Pract. Exp. 24, No. 4, 396-406 (2012).
7
PyCUDA and PyOpenCL: a scripting-based approach to GPU run-time code generation. (English)
Parallel Comput. 38, No. 3, 157-174 (2012).
8
Using entropy measures for comparison of software traces. (English)
Inf. Sci. 203, 59-72 (2012).
9
Encapsulating deontic and branching time specifications. (English)
Theor. Comput. Sci. 455, 98-122 (2012).
10
Designing a meta-model for a generic robotic agent system using gaia methodology. (English)
Inf. Sci. 195, 190-210 (2012).
11
The impact of programming languages in code cloning. (English)
Simões, Alberto (ed.) et al., 1st symposium on languages, applications and technologies, SLATE’12, June 21‒22, 2012, Braga, Portugal. Proceedings. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-40-8). OASIcs ‒ OpenAccess Series in Informatics 21, 107-122, electronic only (2012).
12
The diagram of flow: Its departure from software engineering and its return. (English)
Cox, Philip (ed.) et al., Diagrammatic representation and inference. 7th international conference, Diagrams 2012, Canterbury, UK, July 2‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31222-9/pbk). Lecture Notes in Computer Science 7352. Lecture Notes in Artificial Intelligence, 256-269 (2012).
13
Impact of pay-as-you-go cloud platforms on software pricing and development: a review and case study. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2012. 12th international conference, Salvador de Bahia, Brazil, June 18‒21, 2012. Proceedings, Part IV. Berlin: Springer (ISBN 978-3-642-31127-7/pbk). Lecture Notes in Computer Science 7336, 404-417 (2012).
14
Behavioral adaptation of information systems through goal models. (English)
Inf. Syst. 37, No. 8, 767-783 (2012).
15
Empirical analysis of the impact of requirements engineering on software quality. (English)
Regnell, Björn (ed.) et al., Requirements engineering: foundation for software quality. 18th international working conference, REFSQ 2012, Essen, Germany, March 19‒22, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28713-8/pbk). Lecture Notes in Computer Science 7195, 232-238 (2012).
16
How architects see non-functional requirements: beware of modifiability. (English)
Regnell, Björn (ed.) et al., Requirements engineering: foundation for software quality. 18th international working conference, REFSQ 2012, Essen, Germany, March 19‒22, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28713-8/pbk). Lecture Notes in Computer Science 7195, 37-51 (2012).
17
Semantics and reasoning for control application engineering models. (English)
Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 11th international conference, ICAISC 2012, Zakopane, Poland, April 29‒May 3, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-29346-7/pbk). Lecture Notes in Computer Science 7267. Lecture Notes in Artificial Intelligence, 647-655 (2012).
18
Speeding up the training of neural networks with CUDA technology. (English)
Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 11th international conference, ICAISC 2012, Zakopane, Poland, April 29‒May 3, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-29346-7/pbk). Lecture Notes in Computer Science 7267. Lecture Notes in Artificial Intelligence, 30-38 (2012).
19
A new design defects classification: marrying detection and correction. (English)
de Lara, Juan (ed.) et al., Fundamental approaches to software engineering. 15th international conference, FASE 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28871-5/pbk). Lecture Notes in Computer Science 7212, 455-470 (2012).
20
Result 1 to 20 from 2475 total
Start
Contact
Print
General Help
