|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8403 occurrences of 4713 keywords
|
|
|
Results
Found 9769 publication records. Showing 9769 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
58 | Christopher Unkel, Monica S. Lam |
Automatic inference of stationary fields: a generalization of java's final fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 183-195, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
stationary, Java, initialization, final |
44 | Masaaki Shirase, Tsuyoshi Takagi, Eiji Okamoto |
Some Efficient Algorithms for the Final Exponentiation of eta T Pairing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience, Third International Conference, ISPEC 2007, Hong Kong, China, May 7-9, 2007, Proceedings, pp. 254-268, 2007, Springer, 978-3-540-72159-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
?T pairing, final exponentiation, torus, Tate pairing |
44 | Nikolaos Demiris, Philip D. O'Neill |
Computation of final outcome probabilities for the generalised stochastic epidemic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 16(3), pp. 309-317, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Stochastic epidemic models, Final size, Markov chain Monte Carlo Methods, Multiple precision arithmetic, Limit theorems |
44 | M. V. Mielke |
Final Lift Actions Associated with Topological Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(5), pp. 495-504, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
topological category, final lift actions |
40 | Irena Srdanovic Erjavec, Andrej Bekes, Kikuko Nishina |
Distant Collocations between Suppositional Adverbs and Clause-Final Modality Forms in Japanese Language Corpora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LKR ![In: Large-Scale Knowledge Resources. Construction and Application, Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008, Proceedings, pp. 252-266, 2008, Springer, 978-3-540-78158-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
suppositional adverbs, clause-final modality, Japanese language, collocations, corpora |
40 | Xavier Granier, George Drettakis |
A final reconstruction approach for a unified global illumination algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 23(2), pp. 163-189, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
final gather, hierarchical radiosity with clustering, Global illumination, density estimation, particle tracing |
40 | B. Olsson, Mikael Berndtsson, Björn Lundell, Jörgen Hansson |
Running research-oriented final year projects for CS and IS students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2003, Reno, Nevada, USA, February 19-23, 2003, pp. 79-83, 2003, ACM, 1-58113-648-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
final year projects, research in undergraduate projects, process, examiners, supervisors |
40 | Jan J. M. M. Rutten, Daniele Turi |
On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 477-530, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
final semantics, non-well-founded sets, non-standard set theory, (F-)bisimulation, ordered F-bisimulation, concurrency, partial orders, metric spaces, fixed point, category, coalgebra, functor, domain equation |
40 | Michael Smirnov, Jon Crowcroft |
QoS Roadmap for Future Internet Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QofIS Final Report ![In: Quality of Future Internet Services, COST Action 263 Final Report, pp. 1-9, 2003, Springer, 3-540-20193-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Ignacio D. Viglizzo |
Final Sequences and Final Coalgebras for Measurable Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings, pp. 395-407, 2005, Springer, 3-540-28620-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Adi Ditkowski |
Numerical Method for Solving Discontinuous Initial/Final-Value Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 37(3), pp. 268-281, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Initial/final-value problems, Hyperbolic embedding, Two point boundary value problems, Embedding, Optimal control, Boundary-value problems, ODE |
37 | Jean-Luc Beuchat, Nicolas Brisebarre, Masaaki Shirase, Tsuyoshi Takagi, Eiji Okamoto |
A Coprocessor for the Final Exponentiation of the eta T Pairing in Characteristic Three. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIFI ![In: Arithmetic of Finite Fields, First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings, pp. 25-39, 2007, Springer, 978-3-540-73073-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
final exponentiation, FPGA, hardware accelerator, ? T pairing, characteristic three |
37 | Hans-Georg Beyer, Dirk V. Arnold, Silja Meyer-Nieberg |
A New Approach for Predicting the Final Outcome of Evolution Strategy Optimization Under Noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genet. Program. Evolvable Mach. ![In: Genet. Program. Evolvable Mach. 6(1), pp. 7-24, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
final fitness error, optimization quality, evolution strategies, robust optimization, noisy optimization |
37 | Marina Lenisa |
Final Semantics for a Higher Order Concurrent Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings, pp. 102-118, 1996, Springer, 3-540-61064-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
second order assignment, F-coalgebra, F-bisimulation, final semantics, hyperset, complete metric space, mixed induction-coinduction, operational semantics, coinduction |
37 | Peter Aczel |
Final Universes of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 1-28, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Final Universe, Process, CSP, Labelled, Transition System, CCS, Coalgebra |
37 | Karin Ennser, Slavisa Aleksic, Franco Curti, Davide Massimiliano Forin, Michael Galili, Miroslav Karásek, Leif K. Oxenløwe, Francesca Parmigiani, Periklis Petropoulos, Radan Slavík, Maria Spyropoulou, Stefano Taccheo, António Luis Jesus Teixeira, Ioannis Tomkos, Giorgio Maria Tosi-Beleffi, Cédric Ware |
Optical Signal Processing Techniques for Signal Regeneration and Digital Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST Action 291 Final Report ![In: Towards Digital Optical Networks, COST Action 291 Final Report, pp. 49-96, 2009, Springer, 978-3-642-01523-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Lena Wosinska, Didier Colle, Piet Demeester, Kostas Katrinis, Marko Lackovic, Ozren Lapcevic, Ilse Lievens, George Markidis, Branko Mikac, Mario Pickavet, Bart Puype, Nina Skorin-Kapov, Dimitri Staessens, Anna Tzanakaki |
Network Resilience in Future Optical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST Action 291 Final Report ![In: Towards Digital Optical Networks, COST Action 291 Final Report, pp. 253-284, 2009, Springer, 978-3-642-01523-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Ioannis Tomkos, Maria Spyropoulou |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST Action 291 Final Report ![In: Towards Digital Optical Networks, COST Action 291 Final Report, pp. 1-2, 2009, Springer, 978-3-642-01523-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Taisir E. H. El-Gorashi, Jaafar M. H. Elmirghani |
Optical Storage Area Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST Action 291 Final Report ![In: Towards Digital Optical Networks, COST Action 291 Final Report, pp. 285-302, 2009, Springer, 978-3-642-01523-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Martin Köhn, Walter Colitti, Pasquale Gurzi, Ann Nowé, Kris Steenhaut |
Multi-layer Traffic Engineering (MTE) in Grooming Enabled ASON/GMPLS Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST Action 291 Final Report ![In: Towards Digital Optical Networks, COST Action 291 Final Report, pp. 237-252, 2009, Springer, 978-3-642-01523-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Werner Rosenkranz, Slavisa Aleksic, Torger Tokle |
Novel Transponder Interfaces: Novel Modulation Formats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST Action 291 Final Report ![In: Towards Digital Optical Networks, COST Action 291 Final Report, pp. 7-21, 2009, Springer, 978-3-642-01523-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Davide Careglio, Javier Aracil 0001, Siamak Azodolmolky, Joan García-Haro, Sebastian Gunreben, Guoqiang Hu 0002, Mikel Izal, Andreas Kimsas, Miroslaw Klinkowski, Martin Köhn, Eduardo Magaña, Daniel Morató, Pablo Pavón-Mariño, Jordi Perelló, Joachim Scharf, Salvatore Spadaro, Ioannis Tomkos, Anna Tzanakaki, Javier Veiga-Gontán |
Performance Issues in Optical Burst/Packet Switching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST Action 291 Final Report ![In: Towards Digital Optical Networks, COST Action 291 Final Report, pp. 189-235, 2009, Springer, 978-3-642-01523-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Ioannis Papagiannakis, Gabriella Bosco, Daniel Fonseca, Dimitrios Klonidis, Pierluigi Poggiolini, Werner Rosenkranz, António Luis Jesus Teixeira, Ioannis Tomkos, Chunmin Xia |
Electronic Channel Equalization Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST Action 291 Final Report ![In: Towards Digital Optical Networks, COST Action 291 Final Report, pp. 23-47, 2009, Springer, 978-3-642-01523-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Sébastien Rumley, Christian Gaumier, Ramon Aparicio-Pardo, Ching-Hung Chang, Walter Colitti, Belen Garcia-Manrubia, Pandelis Kourtessis, Juan Antonio Martínez León, Ann Nowé, Pablo Pavón-Mariño, Joachim Scharf, Kris Steenhaut |
Software Tools and Methods for Research and Education in Optical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST Action 291 Final Report ![In: Towards Digital Optical Networks, COST Action 291 Final Report, pp. 331-364, 2009, Springer, 978-3-642-01523-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Miroslav Karásek, Slavisa Aleksic, Marek Jaworski, Jochen Leibrich |
Software Tools and Methods for Modelling Physical Layer Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST Action 291 Final Report ![In: Towards Digital Optical Networks, COST Action 291 Final Report, pp. 309-330, 2009, Springer, 978-3-642-01523-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Pandelis Kourtessis, Carlos Almeida, Ching-Hung Chang, Jiajia Chen 0001, Silvia Di Bartolo, P. Fasser, Maurice Gagnaire, Erich Leitgeb, Mário J. N. Lima, Markus Löschnigg, Marian Marciniak, Natasa B. Pavlovic, Y. Shachaf, António Luis Jesus Teixeira, Giorgio Maria Tosi-Beleffi, Lena Wosinska |
Evolution of Optical Access Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST Action 291 Final Report ![In: Towards Digital Optical Networks, COST Action 291 Final Report, pp. 97-131, 2009, Springer, 978-3-642-01523-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Siamak Azodolmolky, Tibor Cinkler, Dimitrios Klonidis, Zsigmond Szilárd, Ioannis Tomkos |
Cross-Layer Optimization Issues for Realizing Transparent Mesh Optical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST Action 291 Final Report ![In: Towards Digital Optical Networks, COST Action 291 Final Report, pp. 167-188, 2009, Springer, 978-3-642-01523-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Wojciech Kabacinski, Jiajia Chen 0001, Grzegorz Danilewicz, Janusz Kleban, Maria Spyropoulou, Ioannis Tomkos, Emmanouel A. Varvarigos, Kyriakos Vlachos, Slawomir Wêclewski, Lena Wosinska, Konstantinos Yiannopoulos |
Novel Switch Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST Action 291 Final Report ![In: Towards Digital Optical Networks, COST Action 291 Final Report, pp. 133-160, 2009, Springer, 978-3-642-01523-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Thomas Gschwind, Cesare Pautasso (eds.) |
Emerging Web Services Technology, Volume II, Final Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2007, Halle (Saale), Germany, November 26, 2007. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![Birkhäuser / Springer, 978-3-7643-8863-8 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Cesare Pautasso, Christoph Bussler (eds.) |
Emerging Web Services Technology, Final Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2006, Zurich, Switzerland, December 4, 2006. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![Birkhäuser / Springer, 978-3-7643-8447-0 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Hagen Overdick |
Towards Resource-Oriented BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Volume II, Final Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2007, Halle (Saale), Germany, November 26, 2007., pp. 129-140, 2007, Birkhäuser / Springer, 978-3-7643-8863-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Claus Pahl, Marko Boskovic, Wilhelm Hasselbring |
Model-Driven Performance Evaluation for Service Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Volume II, Final Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2007, Halle (Saale), Germany, November 26, 2007., pp. 171-185, 2007, Birkhäuser / Springer, 978-3-7643-8863-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Dirk Habich, Sebastian Richly, Steffen Preissler, Mike Grasselt, Wolfgang Lehner, Albert Maier |
BPEL DT - Data-Aware Extension for Data-Intensive Service Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Volume II, Final Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2007, Halle (Saale), Germany, November 26, 2007., pp. 111-128, 2007, Birkhäuser / Springer, 978-3-7643-8863-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Schahram Dustdar |
Emerging Web Services Technologies - Some Research Challenges Ahead. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Volume II, Final Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2007, Halle (Saale), Germany, November 26, 2007., pp. 1-3, 2007, Birkhäuser / Springer, 978-3-7643-8863-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Sebastian Stein 0002, Katja Barchewitz, Marwane El Kharbili |
Enabling Business Experts to Discover Web Services for Business Process Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Volume II, Final Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2007, Halle (Saale), Germany, November 26, 2007., pp. 23-39, 2007, Birkhäuser / Springer, 978-3-7643-8863-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Freddy Lécué, Eduardo Goncalves da Silva, Luís Ferreira Pires |
A Framework for Dynamic Web Services Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Volume II, Final Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2007, Halle (Saale), Germany, November 26, 2007., pp. 59-75, 2007, Birkhäuser / Springer, 978-3-7643-8863-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Nadia Ranaldo, Eugenio Zimeo |
A Framework for QoS-based Resource Brokering in Grid Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Volume II, Final Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2007, Halle (Saale), Germany, November 26, 2007., pp. 159-170, 2007, Birkhäuser / Springer, 978-3-7643-8863-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella |
Service selection by choreography-driven matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Volume II, Final Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2007, Halle (Saale), Germany, November 26, 2007., pp. 5-22, 2007, Birkhäuser / Springer, 978-3-7643-8863-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Anis Charfi, Rainer Berbner, Mira Mezini, Ralf Steinmetz |
On the Management Requirements of Web Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Volume II, Final Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2007, Halle (Saale), Germany, November 26, 2007., pp. 97-109, 2007, Birkhäuser / Springer, 978-3-7643-8863-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Kung-Kiu Lau, Cuong M. Tran |
Composite Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Volume II, Final Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2007, Halle (Saale), Germany, November 26, 2007., pp. 77-95, 2007, Birkhäuser / Springer, 978-3-7643-8863-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Sebastian Gajek, Lijun Liao, Bodo Möller, Jörg Schwenk |
SSL-over-SOAP: Towards a Token-based Key Establishment framework for Web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Volume II, Final Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2007, Halle (Saale), Germany, November 26, 2007., pp. 141-157, 2007, Birkhäuser / Springer, 978-3-7643-8863-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Ulrich Küster, Holger Lausen, Birgitta König-Ries |
Evaluation of Semantic Service Discovery - A Survey and Directions for Future Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Volume II, Final Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2007, Halle (Saale), Germany, November 26, 2007., pp. 41-58, 2007, Birkhäuser / Springer, 978-3-7643-8863-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Ricardo Quintero, Victoria Torres, Vicente Pelechano |
Model Centric Approach of Web Services Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Final Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2006, Zurich, Switzerland, December 4, 2006., pp. 65-81, 2006, Birkhäuser / Springer, 978-3-7643-8447-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Adina Sirbu, Ioan Toma, Dumitru Roman |
A Logic-based Approach for Service Discovery with Composition Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Final Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2006, Zurich, Switzerland, December 4, 2006., pp. 101-116, 2006, Birkhäuser / Springer, 978-3-7643-8447-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Marta Ruiz, Vicente Pelechano |
Model Driven Design of Web Service Operations using Web Engineering Practices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Final Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2006, Zurich, Switzerland, December 4, 2006., pp. 83-100, 2006, Birkhäuser / Springer, 978-3-7643-8447-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Thilina Gunarathne, Dinesh Premalal, Tharanga Wijethilake, Indika Kumara, Anushka Kumar |
BPEL-Mora: Lightweight Embeddable Extensible BPEL Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Final Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2006, Zurich, Switzerland, December 4, 2006., pp. 3-20, 2006, Birkhäuser / Springer, 978-3-7643-8447-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Christian Schröpfer, Marten Schönherr, Philipp Offermann, Maximilian Ahrens |
A Flexible Approach to Service Management-Related Service Description in SOAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Final Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2006, Zurich, Switzerland, December 4, 2006., pp. 47-64, 2006, Birkhäuser / Springer, 978-3-7643-8447-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Nicolas Repp, Rainer Berbner, Oliver Heckmann, Ralf Steinmetz |
A Cross-Layer Approach to Performance Monitoring of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Final Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2006, Zurich, Switzerland, December 4, 2006., pp. 21-32, 2006, Birkhäuser / Springer, 978-3-7643-8447-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Elena Sánchez-Nielsen, Sandra Martín-Ruiz, Jorge Rodríguez-Pedrianes |
Mobile and Dynamic Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Final Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2006, Zurich, Switzerland, December 4, 2006., pp. 117-133, 2006, Birkhäuser / Springer, 978-3-7643-8447-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Pablo Rossi, Zahir Tari |
Software Metrics for the Efficient Execution of Mobile Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Final Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2006, Zurich, Switzerland, December 4, 2006., pp. 135-152, 2006, Birkhäuser / Springer, 978-3-7643-8447-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Halina Kaminski, Mark Perry 0001 |
Employing Intelligent Agents to Automate SLA Creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Final Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2006, Zurich, Switzerland, December 4, 2006., pp. 33-46, 2006, Birkhäuser / Springer, 978-3-7643-8447-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Mehdi Ben Hmida, Céline Boutrous-Saab, Serge Haddad, Valérie Monfort, Ricardo Tomaz Ferraz |
Dynamically Adapting Clients to Web Services Changing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Final Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2006, Zurich, Switzerland, December 4, 2006., pp. 153-165, 2006, Birkhäuser / Springer, 978-3-7643-8447-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Jürgen Angele |
Ontoprise: Semantic Web Technologies at Business. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Final Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2006, Zurich, Switzerland, December 4, 2006., pp. 1-2, 2006, Birkhäuser / Springer, 978-3-7643-8447-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Tosca Lahiri, Mark Woodman |
Web Service Standards: Do we need them? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWST@ECOWS (Final Proceedings) ![In: Emerging Web Services Technology, Final Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, WEWST@ECOWS 2006, Zurich, Switzerland, December 4, 2006., pp. 167-182, 2006, Birkhäuser / Springer, 978-3-7643-8447-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (eds.) |
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![Springer, 3-540-23135-8 The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke |
Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 374-399, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika |
"UML-ising' Formal Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 423-450, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell |
A Unifying Semantics for Sequential Function Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 400-418, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke |
Formal Verification of LSCs in the Development Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 494-516, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska 0001 |
Executable HybridUML and Its Application to Train Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 145-173, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Engelbert Westkämper, Matthias Bengel, Katja Fischer |
Basic Principles for Software Specification: Introduction to Subject Area Reference Case Study Production Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 9-22, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder |
Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 96-118, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | David Harel, Hillel Kugler |
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 325-354, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel |
Modeling and Formal Verification of Production Automation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 541-566, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif |
Interactive Verification of Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 355-373, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Benjamin Braatz, Markus Klein 0001, Gunnar Schröter |
Semantical Integration of Object-Oriented Viewpoint Specification Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 602-626, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Martin Kardos, Franz J. Rammig |
Model Based Formal Verification of Distributed Production Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 451-473, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Werner Damm, Bernd Westphal |
Introduction to Subject Area 'Charts'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 322-324, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Paul Valckenaers |
Challenges of Next Generation Manufacturing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 23-28, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen |
Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 119-144, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
safety requirements specification, safety patterns, radio-based train control system (FFB), UML, object orientation, level crossing |
37 | Stephan Flake, Wolfgang Müller 0003, Ulrich Pape, Jürgen Ruf |
Specification and Formal Verification of Temporal Properties of Production Automation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 206-226, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg |
Verification of PLC Programs Given as Sequential Function Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 517-540, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Model Checking, Analysis, Automata, Logic Control |
37 | Eckehard Schnieder |
Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 89-95, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy |
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 29-47, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Benjamin Braatz, Markus Klein 0001, Gunnar Schröter, Matthias Bengel |
A Formal Component Concept for the Specification of Industrial Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 69-88, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Katja Fischer, Peter Göhner, Felix Gutbrodt, Uwe Katzke, Birgit Vogel-Heuser |
Conceptual Design of an Engineering Model for Product and Plant Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 301-321, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Fernando Orejas, Elvira Pino |
On the Integration of Modular Heterogeneous Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 582-601, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Jörg Desel |
Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 199-205, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz 0001, Christian Neumair |
A Guide to Modelling and Control with Modules of Signal Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 270-300, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Lars Michael Kristensen, Kurt Jensen |
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 248-269, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn |
Introduction to Subject Area "Verification". ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 419-422, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Hartmut Ehrig |
Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 1-8, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Stefan Einer |
STOP - Specification Technique of Operational Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 227-247, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Martin Große-Rhode |
On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 567-581, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif |
Combining Formal Methods and Safety Analysis - The ForMoSA Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 474-493, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Wilhelm Schäfer, Robert Wagner 0002, Jürgen Gausemeier, Raimund Eckes |
An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 48-68, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Karol Rástocný, Ales Janota, Jirí Zahradník |
The Use of UML for Development of a Railway Interlocking System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 174-198, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Gunnar Karlsson, James Roberts, Ioannis Stavrakakis, Antonio Alves, Stefano Avallone, Fernando Boavida, Salvatore D'Antonio, Marcello Esposito, Viktória Fodor, Mauro Gargiulo, Jarmo Harju, Yevgeni Koucheryavy, Fengyi Li, Ian Marsh, Ignacio Más Ivars, Dmitri Moltchanov, Edmundo Monteiro, Antonis Panagakis, Antonio Pescapè, Gonçalo Quadros, Simon Pietro Romano, Giorgio Ventre |
Traffic Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QofIS Final Report ![In: Quality of Future Internet Services, COST Action 263 Final Report, pp. 10-79, 2003, Springer, 3-540-20193-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Olivier Bonaventure, Panos Trimintzios, George Pavlou, Bruno Quoitin, Arturo Azcorra, Marcelo Bagnulo, Paris Flegkas, Alberto García-Martínez, Panos Georgatsos, Leonidas Georgiadis, Christian Jacquenet, L. Swinnen, Sébastien Tandel, Steve Uhlig |
Internet Traffic Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QofIS Final Report ![In: Quality of Future Internet Services, COST Action 263 Final Report, pp. 118-179, 2003, Springer, 3-540-20193-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Chris Blondia, Nik Van den Wijngaert, Gert Willems, Olga Casals, Llorenç Cerdà, Marcelo Bagnulo, Ignacio Soto |
Mobile Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QofIS Final Report ![In: Quality of Future Internet Services, COST Action 263 Final Report, pp. 180-206, 2003, Springer, 3-540-20193-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Piet Van Mieghem, Fernando A. Kuipers, Turgay Korkmaz, Marwan Krunz, Marília Curado, Edmundo Monteiro, Xavier Masip-Bruin, Josep Solé-Pareta, Sergio Sánchez-López |
Quality of Service Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QofIS Final Report ![In: Quality of Future Internet Services, COST Action 263 Final Report, pp. 80-117, 2003, Springer, 3-540-20193-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Burkhard Stiller, Pere Barlet-Ros, John Cushnie, Jordi Domingo-Pascual, David Hutchison 0001, Rui J. Lopes, Andreas Mauthe, Mihai Popa, James Roberts, Josep Solé-Pareta, Denis Trcek, Carlos Veciana-Nogués |
Pricing and QoS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QofIS Final Report ![In: Quality of Future Internet Services, COST Action 263 Final Report, pp. 263-291, 2003, Springer, 3-540-20193-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Ernst W. Biersack, Anwar Al Hamra, Guillaume Urvoy-Keller, David Choi, Dimitrios N. Serpanos, Apostolos Traganitis |
Algorithms for Scalable Content Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QofIS Final Report ![In: Quality of Future Internet Services, COST Action 263 Final Report, pp. 207-262, 2003, Springer, 3-540-20193-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Andris Ambainis |
Optimization Problem in Inductive Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GOSLER Final Report ![In: Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report, pp. 96-107, 1995, Springer, 3-540-60217-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
37 | Gerhard Mehlsam, Hermann Kaindl, Wilhelm Barth |
Feature Construction during Tree Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GOSLER Final Report ![In: Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report, pp. 391-403, 1995, Springer, 3-540-60217-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
37 | Thomas Zeugmann, Steffen Lange |
A Guided Tour Across the Boundaries of Learning Recursive Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GOSLER Final Report ![In: Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report, pp. 190-258, 1995, Springer, 3-540-60217-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
37 | William I. Gasarch, Mark G. Pleszkoch, Mahendran Velauthapillai |
Classification Using Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GOSLER Final Report ![In: Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report, pp. 162-173, 1995, Springer, 3-540-60217-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
37 | Eberhard Pippig |
Structuring Neural Networks and PAC-Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GOSLER Final Report ![In: Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report, pp. 417-434, 1995, Springer, 3-540-60217-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
37 | Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen |
Error Detecting in Inductive Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GOSLER Final Report ![In: Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report, pp. 25-48, 1995, Springer, 3-540-60217-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
37 | Robert P. Daley, Bala Kalyanasundaram |
Towards Reduction Argumentf for FINite Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GOSLER Final Report ![In: Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report, pp. 63-75, 1995, Springer, 3-540-60217-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 9769 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|