Open problems in distributed communitiesPLAICE, John; SWOBODA, Paul; SLONIM, Jacob et al.Lecture notes in computer science. 2002, pp 1-9, issn 0302-9743, isbn 3-540-00301-0, 9 p.Conference Paper

Fast and Accurate Annotation of Short Texts with Wikipedia Pages : ALGORITHMS FOR TODAY'S PRACTIOTIONERFERRAGINA, Paolo; SCAIELLA, Ugo.IEEE software. 2012, Vol 29, Num 1, pp 70-75, issn 0740-7459, 6 p.Article

The WinBraille approach to producing braille quickly and effectivelyBLOMQUIST, Mats; BURMAN, Per.Lecture notes in computer science. 2002, Vol 2398, pp 618-619, issn 0302-9743, isbn 3-540-43904-8, 2 p.Conference Paper

Supporting unanticipated dynamic adaptation of application behaviourREDMOND, Barry; CAHILL, Vinny.Lecture notes in computer science. 2002, pp 205-230, issn 0302-9743, isbn 3-540-43759-2, 26 p.Conference Paper

DATA STREAM MANAGEMENT SYSTEMS FOR COMPUTATIONAL FINANCECHANDRAMOULI, Badrish; ALI, Mohamed; GOLDSTEIN, Jonathan et al.Computer (Long Beach, CA). 2010, Vol 43, Num 12, pp 45-52, issn 0018-9162, 8 p.Article

Evolution in action: Using Active Networking to evolve network support for mobilitySONG, Seong-Kyu; SHANNON, Stephen; HICKS, Michael et al.Lecture notes in computer science. 2002, pp 146-161, issn 0302-9743, isbn 3-540-00223-5, 16 p.Conference Paper

Towards a framework to develop plastic user interfacesSENDIN, Montserrat; LORES, Jesus; MONTERO, Francisco et al.Lecture notes in computer science. 2003, pp 428-433, issn 0302-9743, isbn 3-540-40821-5, 6 p.Conference Paper

Efficient on the fly signature schemes based on integer factoringOKAMOTO, Takeshi; TADA, Mitsuru; MIYAJI, Atsuko et al.Lecture notes in computer science. 2001, pp 275-286, issn 0302-9743, isbn 3-540-43010-5Conference Paper

On-the-fly analysis of distributed computationsFROMENTIN, E; JARD, C; JOURDAN, G.-V et al.Information processing letters. 1995, Vol 54, Num 5, pp 267-274, issn 0020-0190Article

Formal method for timed tests sequences generationSIMONOT-LION, Franaoise; KAISER, Laurent; SANTOS MARQUES, Ricardo et al.Journal européen des systèmes automatisés. 2002, Vol 36, Num 7, pp 1001-1013, issn 1269-6935, 13 p.Conference Paper

Corosol, une JVM modulaire paramétrable à la volée = Corosol, an on the fly modular and configurable JVMDELERAY, Christophe; BEDON, Nicolas; ROUSSEL, Gilles et al.L' Objet (Paris). 2004, Vol 10, Num 2-3, pp 89-102, issn 1262-1137, 14 p.Conference Paper

Calculating τ-confluence compositionallyPACE, Gordon J; LANG, Frédéric; MATEESCU, Radu et al.Lecture notes in computer science. 2003, pp 446-459, issn 0302-9743, isbn 3-540-40524-0, 14 p.Conference Paper

Trace-based Just-in-Time Type Specialization for Dynamic LanguagesGAL, Andreas; EICH, Brendan; RUDERMAN, Jesse et al.ACM SIGPLAN notices. 2009, Vol 44, Num 6, pp 465-478, issn 1523-2867, 14 p.Conference Paper

Dynamic workflow modeling and verificationJIACUN WANG; ROSCA, Daniela.Lecture notes in computer science. 2006, pp 303-318, issn 0302-9743, isbn 3-540-34652-X, 1Vol, 16 p.Conference Paper

La vérification des systèmes concurrents : une approche fondée sur l'exploitation des symétries = verification of concurrent systems : a symmetry-based approach for model checkingAjami, Khalil; Girault, Claude.2000, 149 p.Thesis

Morphing Smart- phones into Automotive Application Platforms : Mobile computing: looking to the futureBOSE, Raja; BRAKENSIEK, Jörg; PARK, Keun-Young et al.Computer (Long Beach, CA). 2011, Vol 44, Num 5, pp 53-61, issn 0018-9162, 9 p.Article

A few steps towards on-the-fly symbol recognition with relevance feedbackRENDEK, Jan; LAMIROY, Bart; TOMBRE, Karl et al.Lecture notes in computer science. 2006, pp 604-615, issn 0302-9743, isbn 3-540-32140-3, 1Vol, 12 p.Conference Paper

Collaboration in Multicloud Computing Environments: Framewrork and Security IssuesSINGHAL, Mukesh; CHANDRASEKHAR, Santosh; TINGJIAN GE et al.Computer (Long Beach, CA). 2013, Vol 46, Num 2, pp 76-84, issn 0018-9162, 9 p.Article

Pattern-based query answeringSIMITSIS, Alkis; KOUTRIKA, Georgia.Lecture notes in computer science. 2006, pp 829-841, issn 0302-9743, isbn 3-540-46788-2, 1Vol, 13 p.Conference Paper

String Generating Hypergraph Grammars with Word Order RestrictionsRIEDL, Martin; SEIFERT, Sebastian; FISCHER, Ingrid et al.Lecture notes in computer science. 2006, pp 138-152, issn 0302-9743, isbn 3-540-38870-2, 1Vol, 15 p.Conference Paper

Singular Hierarchical Curl-Conforming Vector Bases for Triangular CellsGRAGLIA, Roberto D; PETERSON, Andrew F; MATEKOVITS, Ladislau et al.IEEE transactions on antennas and propagation. 2014, Vol 62, Num 7, pp 3632-3644, issn 0018-926X, 13 p.Article

Personalized Web Accessibility using Client-Side Refactoring : THE EVOLVING INTERNETGARRIDO, Alejandra; FIRMENICH, Sergio; ROSSI, Gustavo et al.IEEE internet computing. 2013, Vol 17, Num 4, pp 58-66, issn 1089-7801, 9 p.Article

On-the-Fly Erasure Coding for Real-Time Video ApplicationsTOURNOUX, Pierre Ugo; LOCHIN, Emmanuel; LACAN, Jérôme et al.IEEE transactions on multimedia. 2011, Vol 13, Num 4, pp 797-812, issn 1520-9210, 16 p.Article

Intelligent Conceptual Message Routing in Enterprise Service Bus (ESB)AMIR MASSOUD BIDGOLI; PAYAM NABHANI.Software engineering research & preactice. International conferenceWorldComp'2011. 2011, pp 57-62, isbn 1-60132-199-6 1-60132-200-3 1-60132-201-1, 6 p.Conference Paper

Polynomial based scheme (PBS) for establishing Authentic Associations in Wireless Mesh NetworksGAUR, Amit; PRAKASH, Abhinav; JOSHI, Saugat et al.Journal of parallel and distributed computing (Print). 2010, Vol 70, Num 4, pp 338-343, issn 0743-7315, 6 p.Article