Result 1 to 20 of 268 total
BETA: a B based testing approach. (English)
Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23-.28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 51-66 (2012).
1
Identifying business rules to legacy systems reengineering based on BPM and SOA. (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, 67-82 (2012).
2
Dealing with multiple source spatio-temporal data in urban dynamics analysis. (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 II. Berlin: Springer (ISBN 978-3-642-31074-4/pbk). Lecture Notes in Computer Science 7334, 450-465 (2012).
3
Speech-act based communication: progress in the formal semantics and in the implementation of multi-agent oriented programming languages. (English)
Sakama, Chiaki (ed.) et al., Declarative agent languages and technologies IX. 9th international workshop, DALT 2011, Taipei, Taiwan, May 3, 2011. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-29112-8/pbk). Lecture Notes in Computer Science 7169. Lecture Notes in Artificial Intelligence, 111-116 (2012).
4
On time-symmetry in cellular automata. (English)
J. Comput. Syst. Sci. 78, No. 4, 1115-1126 (2012).
5
JCML: A specification language for the runtime verification of Java card programs. (English)
Sci. Comput. Program. 77, No. 4, 533-550 (2012).
6
Shop floor scheduling in a mobile robotic environment. (English)
Antunes, Luis (ed.) et al., Progress in artificial intelligence. 15th Portuguese conference on artificial intelligence, EPIA 2011, Lisbon, Portugal, October 10‒13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24768-2/pbk). Lecture Notes in Computer Science 7026. Lecture Notes in Artificial Intelligence, 377-391 (2011).
7
Groups and frequent visitors shaping the space dynamics. (English)
Balandin, Sergey (ed.) et al., Smart spaces and next generation wired/wireless networking. 11th international conference, NEW2AN 2011, and 4th conference on smart spaces, ruSMART 2011, St. Petersburg, Russia, August 22‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22874-2/pbk). Lecture Notes in Computer Science 6869, 111-122 (2011).
8
Supporting consistency checking between features and software product line use scenarios. (English)
Schmid, Klaus (ed.), Top productivity through software reuse. 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13‒17, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21346-5/pbk). Lecture Notes in Computer Science 6727, 20-35 (2011).
9
Communication complexity in number-conserving and monotone cellular automata. (English)
Theor. Comput. Sci. 412, No. 29, 3616-3628 (2011).
10
Towards a spatio-temporal information system for moving objects. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2011. International conference, Santander, Spain, June 20‒23, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21927-6/pbk). Lecture Notes in Computer Science 6782, 1-16 (2011).
11
Mitigation of malicious attacks on networks. (English)
Comput. Res. Repos. 2011, Article No. 1103.1741 (2011).
12
Hybrid assessment method for software engineering decisions. (English)
Decis. Support Syst. 51, No. 1, 208-219 (2011).
13
The need for early aspects. (English)
Fernandes, João M. (ed.) et al., Generative and transformational techniques in software engineering III. International summer school, GTTSE 2009, Braga, Portugal, July 6‒11, 2009. Revised papers. Berlin: Springer (ISBN 978-3-642-18022-4/pbk). Lecture Notes in Computer Science 6491, 386-407 (2011).
14
Polarimetric decomposition over glacier ice using long-wavelength airborne polsar (English)
IEEE T. Geoscience and Remote Sensing 49, No. 1-2, 519-535 (2011).
15
Shop floor scheduling in a mobile robotic environment (English)
EPIA, 377-391 (2011).
16
Tandem-L: A mission proposal for monitoring dynamic Earth processes (English)
IGARSS, 1385-1388 (2011).
17
io-port 70134806 Rodriguez-Cassola, Marc;
Prats, Pau;
Schulze, Daniel;
Tous-Ramon, Nuria;
Steinbrecher, Ulrich;
Marotti, Luca;
Nannini, Matteo;
Younis, Marwan;
López-Dekker, Paco;
López-Dekker, Paco;
Zink, Manfred;
Reigber, Andreas;
Krieger, Gerhard;
Moreira, Alberto
First bistatic spaceborne SAR experiments with tandem-X (English)
IGARSS, 1393-1396 (2011).
18
Demonstration of SAR interferometry under crossing orbits using terrasar-X and tandem-X (English)
IGARSS, 3472-3475 (2011).
19
Groups and frequent visitors shaping the space dynamics (English)
NEW2AN, 111-122 (2011).
20
Result 1 to 20 of 268 total
Start
Contact
Print
General Help
