Search Results - "2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing"

Optimization of Resource Scheduling in Cloud Computing by Qiang Li, Yike Guo

“…Resource scheduling based on SLA (Service Level Agreement) in cloud computing is NP-hard problem. There is no efficient method to solve it. This paper proposes…”
Get full text

A Worklow Management Platform for Scientific Applications in Grid Environments by Costan, A, Pop, F, Dobre, C, Cristea, V

“…Workflow management systems allow the development of complex applications at a higher level, by orchestrating functional components without handling the…”
Get full text

An x-Coordinate Point Compression Method for Elliptic Curves over Fp by Dudeanu, A, Oancea, George-Razvan, Iftene, S

“…In this paper we propose an x-coordinate point compression method for elliptic curves over F p , where p >; 3 is prime, as an alternative to the classical…”
Get full text

E-Learning Platform for Educational Resources Repurposing in Earth Observation by Stefanut, Teodor, Popescu, George, Gorgan, Dorian

“…Recent development of eLearning Platforms, presentation technologies and user interaction methods has enabled the development of new, more complex and more…”
Get full text

Ant-Inspired Technique for Automatic Web Service Composition and Selection by Pop, C B, Chifu, V R, Salomie, I, Dinsoreanu, M, David, T, Acretoaie, V

“…This paper presents a technique for semantic Web service composition inspired by the behavior of ants. The proposed technique combines a service composition…”
Get full text

Application of Mixed Time Partitioning Methods to Raise the Efficiency of Solidification Modeling by Gawronska, Elzbieta, Sczygiol, Norbert

“…In this paper we focus on the application of a mixed time partitioning methods to raise efficiency of the solidification kernel in the NuscaS system. We are…”
Get full text

Preface

“…Presents the introductory welcome message from the conference proceedings. May include the conference officers' congratulations to all involved with the…”
Get full text

On the Usage of 16 Bit Indices in Recursively Stored Sparse Matrices by Martone, M, Filippone, S, Paprzycki, M, Tucci, S

“…In our earlier work, we have investigated the feasibility of utilization of recursive partitioning in basic (BLAS oriented) sparse matrix computations, on…”
Get full text

On the Mathematics of Mathematical Handwriting Recognition by Watt, Stephen M.

“…Accurate computer recognition of handwritten mathematics offers to provide a natural interface for mathematical computing, document creation and collaboration…”
Get full text

An End-to-End Framework for Business Compliance in Process-Driven SOAs by Tran, H, Holmes, T, Oberortner, E, Mulo, E, Cavalcante, Agnieszka Betkowska, Serafinski, J, Tluczek, M, Birukou, A, Daniel, F, Silveira, P, Zdun, U, Dustdar, S

“…It is significant for companies to ensure their businesses conforming to relevant policies, laws, and regulations as the consequences of infringement can be…”
Get full text

Self-Adaptation of Service Based Systems Based on Cost/Quality Attributes Tradeoffs by Mirandola, R, Potena, P

“…An application should be self-adaptive in order to automatically and autonomously adapt its behavior for several reasons, such as service evolution (e.g. a new…”
Get full text

Framework for Testing Service Compositions by Pavlov, V, Borisov, B, Ilieva, S, Petrova-Antonova, D

“…Service Oriented Architecture (SOA) provides a new generation of software architectures that attracts attention as promising way for smooth integration of…”
Get full text

A Security Protocol for Vehicular Distributed Systems by Gosman, C, Dobre, C, Cristea, V

“…Vehicular Ad-Hoc Networks (VANETs) have the potential to optimize traffic in modern urban areas, reduce congestions and pollution, and increase passenger…”
Get full text

On BLAS Operations with Recursively Stored Sparse Matrices by Martone, M, Filippone, S, Paprzycki, M, Tucci, S

“…Recently, we have proposed a recursive partitioning based layout for multi-core computations on sparse matrices. Based on positive results of our initial…”
Get full text

A Software Services Framework for Providing E-Learning and Dedicated Information Systems Facilities by Andreica, A, Stuparu, D, Covaci, F, Pop, G, Imre, A

“…The present paper focuses on means of creating a framework for e-learning services by integrating learning and dedicated information systems facilities within…”
Get full text

Abstract Domains for Constraint Programming, with the Example of Octagons by Truchet, C, Pelleau, M, Benhamou, Frédéric

“…In Constraint Programming (CP), the central notion of consistency can be defined as a fix point of some contracting operators. These operators always deal with…”
Get full text

An Efficient Scheduling Algorithm for the Multiprocessor Platform by Andrei, Ştefan, Cheng, Albert M K, Grigoraş, Gheorghe, Rădulescu, Vlad

“…Given a task set T, determining the number of processors leading to a feasible schedule for T is an important problem in the real-time embedded systems…”
Get full text

Connectivity in Semi-algebraic Sets by Hoon Hong

“…We consider the problem of deciding whether two given points in a semialgebraic set can be connected, that is, whether the two points lie in a same connected…”
Get full text

Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC by Calvi, Alberto, Ranise, Silvio, Viganò, Luca

“…We formalize automated analysis techniques for the validation of web services specified in BPEL and a RBAC variant tailored to BPEL. The idea is to use…”
Get full text

A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve Singularity by Hodorog, M, Mourrain, B, Schicho, J

“…We report on a symbolic-numeric algorithm for computing the Alexander polynomial of each singularity of a plane complex algebraic curve defined by a polynomial…”
Get full text