Abstract is missing.
- Programming via RewritingVirgil Emil Cazanescu. 3 [doi]
- Connectivity in Semi-algebraic SetsHoon Hong. 4-7 [doi]
- Mathematical and Computational Mistakes and Failures as a Source of CreativitySolomon Marcus. 8-11 [doi]
- Automatic Improvements of Wallis InequalityPeter Paule, Veronika Pillwein. 12-16 [doi]
- On the Mathematics of Mathematical Handwriting RecognitionStephen M. Watt. 17 [doi]
- A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve SingularityMadalina Hodorog, Bernard Mourrain, Josef Schicho. 21-28 [doi]
- Polynomial GCD and Factorization via Approximate Gröbner BasesDaniel Lichtblau. 29-36 [doi]
- Symbolic-Numeric Cooperation in an Open Science ProjectJuan Félix San-Juan, Rosario María López, Luis María López, Ivan Perez. 37-46 [doi]
- On BLAS Operations with Recursively Stored Sparse MatricesMichele Martone, Salvatore Filippone, Marcin Paprzycki, Salvatore Tucci. 49-56 [doi]
- On the Usage of 16 Bit Indices in Recursively Stored Sparse MatricesMichele Martone, Salvatore Filippone, Marcin Paprzycki, Salvatore Tucci. 57-64 [doi]
- An x-Coordinate Point Compression Method for Elliptic Curves over FpAlina Dudeanu, George-Razvan Oancea, Sorin Iftene. 65-71 [doi]
- Abstract Domains for Constraint Programming, with the Example of OctagonsCharlotte Truchet, Marie Pelleau, Frédéric Benhamou. 72-79 [doi]
- A Parallel Algorithm for Dot Product over Word-Size Finite Field Using Floating-Point ArithmeticJérémy Jean, Stef Graillat. 80-87 [doi]
- Numerical Solutions for a Class of Backward Stochastic Differential EquationsRomeo Negrea, Ciprian Hedrea. 91-94 [doi]
- Maximum Likelihood Estimation Algorithm Evaluation for Wireless Sensor NetworksRuxandra-Ioana Rusnac, Aurel Stefan Gontean. 95-98 [doi]
- Application of Mixed Time Partitioning Methods to Raise the Efficiency of Solidification ModelingElzbieta Gawronska, Norbert Sczygiol. 99-103 [doi]
- Translating Regular Expression Matching into TransducersYasuhiko Minamide, Yuto Sakuma, Andrei Voronkov. 107-115 [doi]
- Completeness of Unfolding for Rewriting Logic TheoriesMaría Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis. 116-123 [doi]
- Approximating Non-interference and Erasure in Rewriting LogicMauricio Alba-Castro, María Alpuente, Santiago Escobar. 124-132 [doi]
- Path Directed Symbolic Execution in the K FrameworkIrina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu. 133-141 [doi]
- A Purely Logical Approach to the Termination of Imperative LoopsMadalina Erascu, Tudor Jebelean. 142-149 [doi]
- Proving Partial Correctness and Termination of Mutually Recursive ProgramsNikolaj Popov, Tudor Jebelean. 153-156 [doi]
- Distributed Traffic Management SystemEmilian Necula, Raluca Necula, Adrian Iftene. 159-166 [doi]
- Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic AlgorithmOctav Brudaru, Rüdiger Ebendt, Iulian Furdu. 167-173 [doi]
- Endocrine Control Evolutionary AlgorithmCorina Rotar. 174-181 [doi]
- Generic Representation for Extension-Based Semantics of Argumentation FrameworksCristian Gratie, Adina Magda Florea. 182-187 [doi]
- FCGlight: A System for Studying the Evolution of Natural LanguageVlad Saveluc, Liviu Ciortuz. 188-193 [doi]
- Knowledge Acquisition and Processing System for Romanian Historical DocumentsIoan Salomie, Mihaela Dinsoreanu, Cristina Bianca Pop, Razvan Lar. 194-201 [doi]
- Modeling Ontologies for Time-Dependent ApplicationsCristian Giumale, Lorina Negreanu, Mihnea Muraru, Matei Popovici. 202-208 [doi]
- Job Scheduling and Bin Packing from a Game Theoretical Perspective: An Evolutionary ApproachD. Dumitrescu, Rodica Ioana Lung, Noémi Gaskó, Réka Nagy. 209-214 [doi]
- An Eye Tracking Semantic Repository for User ProfilingRobert Andrei Buchmann, Radu Meza, Anita Hejja. 215-222 [doi]
- Text Segments as Constrained Formal ConceptsDoina Tatar, Epaminondas Kapetanios, Christian Sacarea, Diana Tanase. 223-228 [doi]
- Dynamic Segregative Genetic Algorithm for Assembly Lines BalancingOctav Brudaru, Cristian Rotaru. 229-236 [doi]
- Exploring Chaos with Sparse Kernel MachinesLaurentiu Bucur, Adina Florea. 239-242 [doi]
- An Efficient Scheduling Algorithm for the Multiprocessor PlatformStefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu. 245-252 [doi]
- A Keyword Search Algorithm for Structured Peer-to-Peer NetworksAdriana Szekeres, Silviu Horia Baranga, Ciprian Dobre, Valentin Cristea. 253-260 [doi]
- A Worklow Management Platform for Scientific Applications in Grid EnvironmentsAlexandru Costan, Florin Pop, Ciprian Dobre, Valentin Cristea. 261-268 [doi]
- Integration of Spatial Data Infrastructures with Grid EnvironmentDenisa Rodila, Dorian Gorgan. 269-277 [doi]
- Flexible Fault Tolerance in Distributed Enterprise CommunitiesMihail Ionescu. 278-285 [doi]
- Grid-Aware Intrusion Detection System Using Gossip AlgorithmsIonut Ungureanu, Catalin Leordeanu, Valentin Cristea. 286-292 [doi]
- Linear Algebraic Approach for Home Markings in Live and Bounded Equal Conflict SystemsIoana Leahu. 293-300 [doi]
- A Semantic Services Architecture for Solving ODE SystemsCristina Mindruta, Dana Petcu. 301-307 [doi]
- E-Learning Platform for Educational Resources Repurposing in Earth ObservationTeodor Stefanut, George Popescu, Dorian Gorgan. 308-314 [doi]
- Optimization of Resource Scheduling in Cloud ComputingQiang Li, Yike Guo. 315-320 [doi]
- A Security Protocol for Vehicular Distributed SystemsCatalin Gosman, Ciprian Dobre, Valentin Cristea. 321-327 [doi]
- Practical Implementation Issues of Lagrangian Based Distributed Optimization AlgorithmsRémi Bertin, Pierre Coucheney, Arnaud Legrand, Corinne Touati. 331-334 [doi]
- An Autonomic Context Management Model Based on Machine LearningIonut Anghel, Tudor Cioara, Ioan Salomie, Mihaela Dinsoreanu. 335-338 [doi]
- A Cryptographic Keys Transfer Protocol for Secure Communicating SystemsKevin Atighehchi, Traian Muntean, Sylvain Parlanti, Robert Rolland, Laurent Vallet. 339-343 [doi]
- Improved Bounds on the Complexity of Graph ColoringZoltán Ádám Mann, Aniko Szajko. 347-354 [doi]
- Dilatability to Quantum Linear Cellular AutomataAdriana Popovici, Dan Popovici. 355-361 [doi]
- On Lower Bounds for Algebraic Decision Trees over the Complex NumbersPeter Scheiblechner. 362-365 [doi]
- Type Inference for Regular Expression Pattern MatchingMircea Marin, Adrian Craciun. 366-373 [doi]
- Revisiting Context-Aware Component InterconnectionLuís Soares Barbosa, Marco Antonio Barbosa, César Jesus Rodrigues. 377-384 [doi]
- Continuation Semantics for Concurrency Applied to Parallel Rewriting of MultisetsGabriel Ciobanu, Eneia Nicolae Todoran. 387-391 [doi]
- An Architectural Approach for Event-Based Execution Management in Service Oriented InfrastructuresSpyridon V. Gogouvitis, Kleopatra Konstanteli, Dimosthenis Kyriazis, Theodora A. Varvarigou. 395-399 [doi]
- Advanced Data Integration and Data Mining for Enviromental ScenariosLadislav Hluchý, Peter Krammer, Ondrej Habala, Martin Seleng, Viet D. Tran. 400-406 [doi]
- An End-to-End Framework for Business Compliance in Process-Driven SOAsHuy Tran, Ta id Holmes, Ernst Oberortner, Emmanuel Mulo, Agnieszka Betkowska Cavalcante, Jacek Serafinski, Marek Tluczek, Aliaksandr Birukou, Florian Daniel, Patrícia Silveira, Uwe Zdun, Schahram Dustdar. 407-414 [doi]
- The Q-ImPrESS Method - An OverviewMircea Trifu. 415-416 [doi]
- WSSMT: Towards the Automated Analysis of Security-Sensitive Services and ApplicationsMichele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti. 417-424 [doi]
- Surveillance System in Service-Oriented MannerDamian Mierzwinski, Dariusz Walczak, Marcin Wolski, Marcin Wrzos. 427-433 [doi]
- OrcFS: Organized Relationships between Components of the File System for Efficient File RetrievalAlexandra Coldea, Adrian Colesa, Iosif Ignat. 434-441 [doi]
- Transparent Fault-Tolerance Based on Asynchronous Virtual Machine ReplicationAdrian Colesa, Iian Stan, Iosif Ignat. 442-448 [doi]
- Ant-Inspired Technique for Automatic Web Service Composition and SelectionCristina Bianca Pop, Viorica R. Chifu, Ioan Salomie, Mihaela Dinsoreanu, Tudor David, Vlad Acretoaie. 449-455 [doi]
- Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBACAlberto Calvi, Silvio Ranise, Luca Viganò. 456-464 [doi]
- Role-Based Access Control in Software Services: Theory vs. PracticeMartin Lason, Ondrej Jakl. 465-470 [doi]
- SOA-Compliant Programming Model for Intelligent Sensor Networks - SCA-Based SolutionPawel Bachara, Krzysztof Zielinski. 471-478 [doi]
- E-System for Automatic Data MigrationAndreea Marin, Ciprian Dobre, Decebal Popescu, Valentin Cristea. 479-484 [doi]
- ALIVE: A Model-Driven Framework to Develop Dynamic, Flexible, Distributed Service-Oriented SystemsJavier Vázquez-Salceda, Wamberto Weber Vasconcelos, Julian A. Padget, Frank Dignum, Siobhán Clarke, Manel Palau, Paul Sergeant, Kees Nieuwenhuis. 485-492 [doi]
- Self-Adaptation of Service Based Systems Based on Cost/Quality Attributes TradeoffsRaffaela Mirandola, Pasqualina Potena. 493-501 [doi]
- Augmented RealityAndrei Arusoaie, Alexandru Ionut Cristei, Cristian Chircu, Mihai Andrei Livadariu, Vlad Manea, Adrian Iftene. 502-509 [doi]
- Platform for Access Control Management in Information System Based on Extended RBAC ModelAneta Poniszewska-Maranda. 510-517 [doi]
- An Argumentation Approach to Incompletely Specified Software ServicesIoan Alfred Letia, Anca Goron. 518-525 [doi]
- Helpful Behavior Based on Trust for Web ServicesIoan Alfred Letia, Radu Razvan Slavescu. 526-533 [doi]
- A Peer-to-Peer Swarm Creation and Management FrameworkAdriana Draghici, Marius Sandu-Popa, Razvan Deaconescu, Nicolae Tapus. 545-548 [doi]
- Composition and Undesired Web Service Execution EffectsPeter Bartalos, Mária Bieliková. 549-552 [doi]
- Expectations for Assessment of Services QualityIoan Alfred Letia, Anca Marginean. 553-556 [doi]
- Framework for Testing Service CompositionsValentin Pavlov, Borislav Borisov, Sylvia Ilieva, Dessislava Petrova-Antonova. 557-560 [doi]
- Semantic Service Alignment Using Concept Description RefinementIoan Alfred Letia, Octavian Pop. 561-564 [doi]
- Personality Filter in Mobile Networks with Communication ConstraintsMaya Dimitrova, Anna K. Lekova, Mo Adda. 565-568 [doi]
- Monitoring and Support of Unreliable ServicesJaroslav Sedenka, Matej Bosak, Tomás Pitner. 569-572 [doi]
- A Software Services Framework for Providing E-Learning and Dedicated Information Systems FacilitiesAlina Andreica, Daniel Stuparu, Florina Covaci, Gabriel Pop, Arpad Imre. 573-576 [doi]
- Web-Based Service for Collaborative Organization of Academic Events - Case Study of Takeplace Jaroslav Skrabalek, Tomas Ludik, Jiri Slaby, Tomás Pitner. 577-580 [doi]
- A Distributed Approach to Business Intelligence Systems SynchronizationVlad Ciobanu, Florin Pop, Decebal Popescu, Valentin Cristea. 581-585 [doi]