From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller
|
|
- Vincent Joseph
- 6 years ago
- Views:
Transcription
1 From an Abstract Object-Oriente Moel to a Reay-to-Use Embee System Controller Stanislav Chachkov, Diier Buchs Software Engineering Laboratory, Swiss Feeral Institute for Technology 1015 Lausanne, Switzerlan {Diier.Buchs,Stanislav.Chachkov}@epfl.ch Abstract. We present an example of a construction of an embee software system - a controller - from the formal specification to executable coe. The CO-OPN (Concurrent Object Oriente Petri Net) formal specification language is use for moelling the controller an the associate harware system with the inherent limitation of its physical components. CO-OPN formal language is base on coorinate algebraic Petri nets. The CO-OPN moel can be use to verify some properties of the controller in the concrete physical environnement. This is achieve by constraine animation of the vali prototype prouce by automatic coe generation. The possibility to incrementally refine the generate coe can be use to obtain a more efficient implementation. 1 Introuction Developing embee reactive software systems nees moelling tools that can capture the properties of the system to evelop as well as the structure of the interactions between the software an its environment. In this paper, we present a formal framework for the evelopment of embee systems from the moelling phase to the implementation. The approach we propose has aopte the object-oriente paraigm as a structuring principle. We have evise a general formalism which can express both abstract an concrete aspects of systems. This approach is calle Concurrent Object-Oriente Petri Nets (CO-OPN)[3][1]. An implementation can be automatically prouce from the abstract CO-OPN moel. We shortly escribe our coe generation techniques. Apart from the problem of proucing programs that respect the abstract moels an their particularities (non-eterminism, atomicity of the events, moularity inuce by Object-Oriente structure,...), we are particularly intereste to match the usual programming principles of the target language. For our purpose they will be the Java notion of component architecture, the JavaBeans moel[10]. In orer to cope with incremental refinement of the automatically generate prototype [6], it is important to be able to interconnect the prouce components with other components or with stanar libraries (for example user interface libraries). This will be achieve by fulfilling the rules of the component moel of target language an by transparently introucing the support for transactions an non-eterminism. We will first briefly explain how to start from a iagram establishing the interconnection of the application to the outsie worl elements an how to prouce, step by step, a moel that will be use to erive automatically a program. An example of a rink ispenser will illustrate our approach. The complete specification an supporting tools can be foun at: CoopnTools The paper is organize as follows. In Section 2, we present the rink ispenser an iscuss the moels that we can prouce using CO-OPN. In section 3, we present our basic mapping metho for generating OO coe from CO- OPN an iscuss implementation problems. In section 4, we iscuss how to use the prouce software for valiation an verification purposes. 2 Moelling with CO-OPN CO-OPN is an object-oriente moelling language, base on Algebraic Data Types (ADT), Petri nets, an IWIM coorination moels [5]. Hence, CO-OPN concrete specifications are collections of ADT, class an context (i.e. coorination) moules [9]. Syntactically, each moule has the same overall structure; it inclues an interface section efining all elements accessible from the outsie, an a boy section incluing the local aspects private to the moule. Moreover, class an context moules have convenient graphical representations which are use in this paper, showing their unerlying Petri net moel. Low-level mechanisms an other features ealing specifically with object-orientation, such as sub-classing an sub-typing, are out of the scope of this paper, an can be foun in [1] [3]. 1
2 2.1 The Drinks Dispenser In orer to present a concrete example of moelling, we chose to stuy a simple but non-trivial kin of reactive system: a Drink Dispenser Machine (DDM) controller. The aim of this stuy is to elaborate a CO-OPN specification of the ispenser an to explain how to generate the controller program. Moreover, we are intereste to valiate an verify properties of the DDM Controller by using a moel incluing harware parts, an also to verify the DDM in the context of human interaction. Therefore, our moel has three levels: Controller, Machine an Human Interaction (not etaile here). First of all, we will explain the steps that can lea to the CO-OPN moel of the DDM controller. In figure 1, the reaer can have a feeling how this machine usually works. Firstly, the customer has to introuce coins in the machine (1), then s/he has to select the esire rink (2) an finally the ispenser supplies the rink via the bottom rawer (3) ). DC SB RB LCD givedrink selectdrink returncoins isplay m Controller insertcoin c takecoins returncoins MB adrink SP acontainer price p Figure 2 : Protocol of Controller When aing rinks the service person (SP) communicates with the controller irectly by notifying adrink an acontainer events. The Money Box is compose with two ifferent collectors of coins: the first one keeps coins until the customer chooses a rink or presses the return button, an the secon one receives coins for istribute rinks. Drinks are store in containers. Each container is associate with a kin of rink an a price. Initially, the DDM is empty. The service person installs containers an as rinks to them. The DDM equipment introuce some constraints: the money box has limite capacity, the number of slots for DC an the quantity of bottles in DC are also limite. 2.2 CO-OPN Coorination moel 3 Figure 1 : The rinks ispenser machine (real life view) For such a system we are intereste in a first approach to etermine the components an the various interactions between them. The main concepts use to express the structure an the behaviour of the system are: a coorination moel for escribing the relations between the system components, object orientation for the structure an content of the system, causality relations for the ynamic aspects that must be reflecte with non-eterministic an concurrent behaviours. The controller is a program that coorinates the activities of DDM components: money box (MB), containers of rinks (DC), LCD isplay, rink selection buttons (SB) an return coins button (RB). The controller receives messages from an sens commans to the equipment (figure 2 In this part the various concept of CO-OPN will be introuce in the necessary orer for the moelling of the DDM. As we use a kin of top-own strategy for moelling, we will first start by presenting the interface of the machine given by the top-level coorination entity calle DrinksDispenser context. A useful approach for builing systems compose of many computing entities is to use the high-level concept of coorination programming [12]. The term coorination theory refers to theories about how coorination can occur in various kins of systems. We state that coorination is managing epenencies among activities. Taking a step further in this irection, it appeare that coorination patterns are likely to be applie since the beginning of the esign phase of the software evelopment. This fact gave birth to the notion of coorination evelopment [5]. This process involves the use of specific coorination moels an languages, aapte to the specific nees encountere uring the esign phase as expresse in the rinks ispenser. Due to their intrinsic nature, IWIM (Iealize Workers, Iealize Managers) coorination moels [13] are particularly well suite for the coorination of software elements uring the esign phase [4]. The coorination layer of CO-OPN [5] [3] [4] is a coorination language 2
3 : selectdrink _ : rink DrinksDispenser selectdrink _ : rink a container _ price _ : rink, money cancel cancel Controller a rink _ : rink returnmoney isplayamount _ : money takemoney givedrink _ : rink adrink _ : rink acontainer _ : rink returncoins takecoins takedrink _ : rink moneybox : PhysicalMoneyBox containers : PhysicalDrinksContainers returnmoney base on a IWIM moel, suite for the formal coorination of object-oriente systems. CO-OPN context moules efine the coorination entities [11], while CO-OPN classes (an objects) efine the basic coorinate entities of a system. CO-OPN allows one to cover the formal evelopment of concurrent software from the first formal specification up to the final istribute software architecture [1]. 2.3 Coorination with Contexts isplayamount _ : money givedrink _ : rink Figure 3 : The rinks ispenser machine moel In figure 3 we can see the DrinksDispenser machine incluing the Controller context an a moel of the physical components PhysicalMoneyBox an PhysicalDrinksContainers, with the input events (or the provie services calle methos - black rectangles) an output events (or the require services calle gates - white rectangles). The Controller context contains sub-components that interact to provie the controller behaviour. The controller sub-components are two objects which are instances of the classes MoneyBox an CentralUnit as epicte in figure 4. In this picture the oriente arcs between methos or gates are use to efine strong synchronization between events. In CO-OPN, it means that the firing of synchronize events is strongly synchronous an atomic. The synchronization of entities in a context is an oriente couple of synchronization expressions of the form: synchro With synchro. Synchronisation expressions are built with the simultaneity, the sequence an the noneterminist operators. The MoneyBox component is evote to managing the money of the ispenser. The CentralUnit component transmits the requests to the specific rink container. The container objects, each containing one kin of rinks, are instantiate by means of the acontainer _ price _ metho that must be calle before the a rink _ metho. In the figure 3, we can observe that the physical components are uplicate by logical components in the controller using simultaneous synchronization (circle with // insie). Controller cancel (2) (1) returnmoney takemoney _ : money currentamount _ : money moneybox : MoneyBox selectdrink _ : rink istribute _ : rink takemoney _ : money returnmoney isplayamount _ : money takemoney cu : CentralUnit givedrink _ : rink Figure 4 : The static components instances insie the Controller context Pushing a rink selection button sens the event selectdrink to the controller. If DDM contains a rink an enough money then commans takemoney an istributedrink are emitte, otherwise nothing is one. Let us explain how this behaviour is efine by the (1) (2) (3) : rink a container _ price _ rink _ rink a 3
4 Controller context. In orer to express this behaviour we link selectdrink event to a synchronisation: cu.istributedrink.. takemoney.. givedrink. The event selectdrink will complete with success if an only if each of three sub-events are complete with success. cu.istributedrink will check if there is a rink in DDM an enough money in moneybox. If those preconitions are satisfie the system will evolve by removing one rink an moving the money from intermeiary collector to the permanent one. In the case of success takemoney..givedrink will be emitte by controller to connecte equipment (MB an DC). Before explaining the components, we will quickly give an outline of the way values can be efine in CO- OPN, using algebraic ata types. 2.4 ADT Moules CO-OPN ADT moules efine ata types by means of algebraic specifications. Each moule escribes one or more sorts (i.e. names of ata types), along with generators an operations on these sorts. The properties of the operations are given in the boy of the moule, by means of positive conitional equational axioms. For instance, figure 5 escribes the ADTs efining two sorts, coin an rink, efine by several generators an one operation, value _. Having the ADT, it is possible to escribe the ynamic components of a CO-OPN specification: the classes. ADT Drink; Interface Sort rink; Generators Ice Tea, Soa, Beer, Whisky : -> rink; En Drink; ADT Coins; Interface Use Money; Sort coin; Generators 5c,10c,20c,50c : -> coin; 1f,2f,5f : -> coin; Operation value _ : coin -> money; Boy Axioms (value 5c) = 5; (value 10c) = 10; (value 20c) = 20; (value 50c) = ((2*(value 20c))+(value 10c)); (value 1f) = (2*(value 50c)); (value 2f) = (2*(value 1f)); En Coins; Figure 5 : The Drink an Coin ADTs 2.5 Class Moules In this subsection we will show more etail on the classes that compose the DrinksDispenser system, an using this example explain the main elements of a CO- OPN moel. CO-OPN classes are escribe by means of moular algebraic Petri nets with particular parameterise external transitions which are the methos of the class. The behaviour of transitions are efine by so-calle behavioural axioms, similar to the axioms in an ADT. A metho call is achieve by synchronizing external transitions, accoring to the fusion of transitions technique. The axioms have the following shape: Con => eventname With synchro : pre -> post in which the terms have the following meaning: Con is a set of equational conitions, similar to a guar; eventname is the name of a metho with the algebraic term parameters; synchro is the synchronization expression efining the policy of transactional interaction of this event with other events, the ot notation is use to express events of specific objects an the synchronization operators are sequence, simultaneity an non-eterminism. Pre an Post are the usual Petri net flow relation etermining what it is consume an what it is prouce in the object state places. CO-OPN provies tools for the management of graphical an textual representations. kin _ adrink adrink _ : rink init _ : rink rinks _ DrinksContainer ispensedrink _ : rink ispensedrink Figure 6 : The Drinks Container class graphical escription In figure 6 the DrinksContainer class provies methos to moify, in ifferent ways, the state representation of the rink container. For instance, the metho adrink is fireable if a init was performe assigning to the rink container the kin of rinks that can be kept in this container (place kin). A corresponing class PhysicalDrinksContainers (figure 7) is use to moel the physical components of the ispenser. In our example init 4
5 the main ifference of this class wrt. to the controller class is the introuction of a limit in the number of loaable rinks. This will constrain the behaviour of the whole moel to a finite number of states. We consier that it is a natural way to take into account the physical limitation without overconstraining the controller moel. acontainer _ : rink adrink _ : rink takedrink _ : rink (succ n) n 3 acontainer empty _ container slots 10, (succ n), n, adrink empty _ slots for _ (succ n), takedrink n, (n < 10) = true PhysicalDrinksContainers Figure 7 : The PhysicalDrinksContainer class graphical escription In figure 8, the reaer can see the textual escription of the centralunit Petri net. The axiom ax1 illustrates complex properties that can be abstractly moelle using our formalism. The variable c represents a reference to container objects an is use to select one of the create containers. In ax1 axiom the selecte container will be the one that has the require kin of rink given by the variable. The selection is mae by the metho that succees only when the kins of rink match. This example also illustrates the transactional semantics of CO-OPN (all-or nothing policy of synchronization) expresse in the (this.takemoney p)..(c.ispensedrink ) synchronization that can succee if an only if both methos sequentially succee. 3 Translation of CO-OPN to programming languages Class CentralUnit; Interface Use Drink, Money; Type centralunit; Gate takemoney _ : money; Methos istribute _ : rink; acontainer _ price _ : rink money; adrink _ : rink; Boy Use DrinksContainer; Place container _ price _ : c money; Axioms ax1:this = Self => istribute With (this.takemoney p)..(c.ispensedrink ):: container c price p -> container c price p; ax2:acontainer price p With c.init :: -> container c price p; ax3:adrink With c. adrink :: container c price p -> container c price p; Where this : centralunit; p : money; c : c; : rink; En CentralUnit; Figure 8 : The CentralUnit class textual escription The coe generation process takes a CO-OPN specification as a parameter an prouces a set of Java classes. The object structure of a CO-OPN specification is preserve by the generate coe. One of our primary goals was to fin a "natural" mapping between CO-OPN an Java. In such a mapping of stanar CO-OPN features, constructs like methos or gates are associate to stanar Java features, methos or events respectively. As a result, the interface part of a generate Java component is similar to the interface of the corresponing CO-OPN component, an it is also easy to unerstan/use by a human programmer or evelopment tool. Some powerful aspects of CO-OPN, such as atomic concurrent synchronizations or non-eterminism, o not have a irect equivalent in Java, consequently they are non-trivial to implement. These aspects are, as much as possible, hien in private parts of the generate coe. We will continue by presenting the list of main problems solve in the coe generator. Implementation of ADT using rewrite system [8] as explaine in [7]. The structure of the generate coe allows one to replace parts of it by user coe. Implementation of Classes an Contexts following the JavaBean structure [10] that provie a unifie view of methos an gates. Nevertheless, aitional features such as transactional support an non-eterminism are manage by generate coe. Now we will give more insight in the complex process of generating Java classes an list the main concepts that are use: Transaction Support. The operational interpretation of CO-OPN synchronizations is base on the neste transactions principle [2]. Specific algorithms an ata structures implement commit an abort operations. Non-eterminism. Methos of CO-OPN classes may be non-eterministic in ata an control imensions. Data non-eterminism occurs when a preconition takes values from places. It is possible that many ifferent values match the preconition requirements. The choice from matching values is non-eterministic. Control non-eterminism occurs when more that one metho s axiom can apply in the given system state. Non-eterminism is implemente in prologlike fashion, neste transactions are use to uno changes of system state an coe rewriting to implement the prolog "reo" primitive. 5
6 Resource Sharing. In CO-OPN, concurrent synchronizations can share the same resources. A specific ata structure that collaborates with the transaction mechanism has been evise to implement the rules of resource sharing. Concurrent Synchronizations. CO-OPN efines three kins of concurrent synchronizations: sequence, simultaneity an non-eterminism. The structure of the neste transaction tree follows the structure of the synchronisation tree. 4 How to use the moels As explaine before the purpose of moelling is not only to prouce the controller, but also to be able to stuy the behaviour of the machine that will be prouce. Now we will present two possibilities of using the coe generator on the CO-OPN moels. First one is the valiation of controller in real environment. The goal of valiation is to insure that the controller can work with real systems. Clearly, the best way to test the software is by installing the controller program on the real rink istributor. Our less expensive approach is to use LEGO RCX [14] or similar system. In this approach a simplifie harware moel of DDM is built with LEGO. The generate program is installe on a PC connecte with the LEGO RCX computer via an infrare port. To avoi limitations of RCX system, a part of the interface of DDM runs on the PC. The resulting system can be use for emonstration purposes an to show its feasibility. The secon possibility is the use of coe generation techniques to observe an verify properties of the whole DDM system without builing it. As explaine before, the DDM moel contains a part that escribes the constraints an the limitations introuce by the physical components. Instea of generating only a controller, we generate the coe for the whole moel for simulation purposes. This coe can be execute to verify useful properties of the moel. A tool (figure 9) exists that enables the user to execute CO-OPN synchronizations on generate coe an watch for execution results. Figure 9 : Interpretor tool An example of a useful property for DDM coul be: If there is enough money in MB an enough rinks then the selectdrink request must always succee. This property is then expresse as CO-OPN synchronisation an submitte to generate coe. The result can then be observe an eventual wrong behaviour etecte. As the state space of the DDM moel is finite (because of limitations introuce by physical moel) a quasi-exhaustive test of such a property is also possible. 5 Future Work an Conclusions In this paper, we presente an attractive methoology for moelling embee systems. Embee software is moelle together with controlle equipment. In our opinion this is a technique that can be use for co-esign. We also propose a technique for automatically transforming a formal specification of a system into executable coe. This technique was valiate on a number of examples, incluing the rinks ispenser case stuy. We plan to continue the evelopment of generation techniques to better suit the purposes of embee software. Generate coe is also use for valiation an verification of the moel. We inten to evelop this research irection in orer to integrate test techniques. References [1] Diier Buchs an Nicolas Guelfi, ``A Formal Specification Framework for Object-Oriente Distribute Systems,'' IEEE TSE, vol. 26, no. 7, July 2000, pp [2] G. Weikum, "Principles an Realization Strategies of Multilevel Transaction Management", ACM Transactions of Database Systems, Vol 16, No 1, pp , [3] Olivier Biberstein, Diier Buchs, an Nicolas Guelfi; Object-oriente nets with algebraic specifications: The CO- OPN/2 formalism. In G. Agha, F. De Cinio an G. Rozenberg, eitors, Avances in Petri Nets on Object-Orientation, volume to appear in Lecture Notes in Computer Science. Springer-Verlag, LNCS 2001, pp [4] Diier Buchs an Mathieu Buffo. Rapi prototyping of formally moelle istribute systems. In Frances M. Titsworth, eitor, Proc. of the Tenth International Workshop on Rapi System Prototyping RSP 99. IEEE, june [5] Mathieu Buffo. Experiences in coorination programming. In Proceeings of the workshops of DEXA 98 (International Conference on Database an Expert Systems Applications). IEEE Computer Society, aug [6] Christine Choppy an Stéphane Kaplan. Mixing abstract an concrete moules: Specification, evelopment an prototyping. In 12th International Conference on Software Engineering, pages , Nice, March [7] Diier Buchs an Jarle Hulaas. Evolutive prototyping of heterogeneous istribute systems using hierarchical algebraic Petri nets. In Proceeings of the Int. Conf. on Systems, Man an Cybernetics, Beijing, China, October IEEE. [8] Ph. Schnoebelen. Refine compilation of pattern-matching for functionnal languages. Science of Computer Programming, pages 11: , [9] Olivier Biberstein an Diier Buchs. Structure algebraic 6
7 nets with object-orientation. In Proc.of the first int. workshop on Object-Oriente Programming an Moels of Concurrency within the 16th Int. Conf. on Application an Theory of Petri Nets, Torino, Italy, June [10] Sun Microsystems: JavaBeans specification Version 1.01 (July, 1997). [11] Mathieu Buffo an Diier Buchs. A coorination moel for istribute object systems. In Proc. of the Secon International Conference on Coorination Moels an Languages COORDINATION 97, volume 1282 of Lecture Notes in Computer Science, pages Springer Verlag, [12] Nicholas Carriero an Davi Gelernter. How to Write Parallel Programs. MIT Press, Cambrige an Lonon, [13] Jeff Kramer, Jeff Magee, Morris Sloman, an Naranker Dulay. Configuring object-base istribute programs in rex. IEEE Software Engineering Journal, 7(2): , [14] Lego Web site, 7
From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach
From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach Stanislav Chachkov Software Engineering Laboratory Swiss Federal Institute of Technology
More informationCoupling the User Interfaces of a Multiuser Program
Coupling the User Interfaces of a Multiuser Program PRASUN DEWAN University of North Carolina at Chapel Hill RAJIV CHOUDHARY Intel Corporation We have evelope a new moel for coupling the user-interfaces
More informationYet Another Parallel Hypothesis Search for Inverse Entailment Hiroyuki Nishiyama and Hayato Ohwada Faculty of Sci. and Tech. Tokyo University of Scien
Yet Another Parallel Hypothesis Search for Inverse Entailment Hiroyuki Nishiyama an Hayato Ohwaa Faculty of Sci. an Tech. Tokyo University of Science, 2641 Yamazaki, Noa-shi, CHIBA, 278-8510, Japan hiroyuki@rs.noa.tus.ac.jp,
More informationOnline Appendix to: Generalizing Database Forensics
Online Appenix to: Generalizing Database Forensics KYRIACOS E. PAVLOU an RICHARD T. SNODGRASS, University of Arizona This appenix presents a step-by-step iscussion of the forensic analysis protocol that
More informationCS 106 Winter 2016 Craig S. Kaplan. Module 01 Processing Recap. Topics
CS 106 Winter 2016 Craig S. Kaplan Moule 01 Processing Recap Topics The basic parts of speech in a Processing program Scope Review of syntax for classes an objects Reaings Your CS 105 notes Learning Processing,
More informationGeneralized Edge Coloring for Channel Assignment in Wireless Networks
Generalize Ege Coloring for Channel Assignment in Wireless Networks Chun-Chen Hsu Institute of Information Science Acaemia Sinica Taipei, Taiwan Da-wei Wang Jan-Jan Wu Institute of Information Science
More informationResearch Article Inviscid Uniform Shear Flow past a Smooth Concave Body
International Engineering Mathematics Volume 04, Article ID 46593, 7 pages http://x.oi.org/0.55/04/46593 Research Article Invisci Uniform Shear Flow past a Smooth Concave Boy Abullah Mura Department of
More informationStudy of Network Optimization Method Based on ACL
Available online at www.scienceirect.com Proceia Engineering 5 (20) 3959 3963 Avance in Control Engineering an Information Science Stuy of Network Optimization Metho Base on ACL Liu Zhian * Department
More informationNon-homogeneous Generalization in Privacy Preserving Data Publishing
Non-homogeneous Generalization in Privacy Preserving Data Publishing W. K. Wong, Nios Mamoulis an Davi W. Cheung Department of Computer Science, The University of Hong Kong Pofulam Roa, Hong Kong {wwong2,nios,cheung}@cs.hu.h
More informationPolitecnico di Torino. Porto Institutional Repository
Politecnico i Torino Porto Institutional Repository [Proceeing] Automatic March tests generation for multi-port SRAMs Original Citation: Benso A., Bosio A., i Carlo S., i Natale G., Prinetto P. (26). Automatic
More informationReal-time concepts for Software/Hardware Engineering
Real-time concepts for Software/Harware Engineering Master s thesis of M.C.W. Geilen Date: August 996 Coaches: ing.p.h.a. van er Putten ir.j.p.m. Voeten Supervisor: prof.ir.m.p.j. Stevens Section of Information
More informationSkyline Community Search in Multi-valued Networks
Syline Community Search in Multi-value Networs Rong-Hua Li Beijing Institute of Technology Beijing, China lironghuascut@gmail.com Jeffrey Xu Yu Chinese University of Hong Kong Hong Kong, China yu@se.cuh.eu.h
More informationFigure 1: Schematic of an SEM [source: ]
EECI Course: -9 May 1 by R. Sanfelice Hybri Control Systems Eelco van Horssen E.P.v.Horssen@tue.nl Project: Scanning Electron Microscopy Introuction In Scanning Electron Microscopy (SEM) a (bunle) beam
More informationUsing Vector and Raster-Based Techniques in Categorical Map Generalization
Thir ICA Workshop on Progress in Automate Map Generalization, Ottawa, 12-14 August 1999 1 Using Vector an Raster-Base Techniques in Categorical Map Generalization Beat Peter an Robert Weibel Department
More informationParticle Swarm Optimization Based on Smoothing Approach for Solving a Class of Bi-Level Multiobjective Programming Problem
BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES Volume 17, No 3 Sofia 017 Print ISSN: 1311-970; Online ISSN: 1314-4081 DOI: 10.1515/cait-017-0030 Particle Swarm Optimization Base
More informationLearning Subproblem Complexities in Distributed Branch and Bound
Learning Subproblem Complexities in Distribute Branch an Boun Lars Otten Department of Computer Science University of California, Irvine lotten@ics.uci.eu Rina Dechter Department of Computer Science University
More informationSolution Representation for Job Shop Scheduling Problems in Ant Colony Optimisation
Solution Representation for Job Shop Scheuling Problems in Ant Colony Optimisation James Montgomery, Carole Faya 2, an Sana Petrovic 2 Faculty of Information & Communication Technologies, Swinburne University
More informationSoftware Reliability Modeling and Cost Estimation Incorporating Testing-Effort and Efficiency
Software Reliability Moeling an Cost Estimation Incorporating esting-effort an Efficiency Chin-Yu Huang, Jung-Hua Lo, Sy-Yen Kuo, an Michael R. Lyu -+ Department of Electrical Engineering Computer Science
More informationAn Algorithm for Building an Enterprise Network Topology Using Widespread Data Sources
An Algorithm for Builing an Enterprise Network Topology Using Wiesprea Data Sources Anton Anreev, Iurii Bogoiavlenskii Petrozavosk State University Petrozavosk, Russia {anreev, ybgv}@cs.petrsu.ru Abstract
More informationEnabling Rollback Support in IT Change Management Systems
Enabling Rollback Support in IT Change Management Systems Guilherme Sperb Machao, Fábio Fabian Daitx, Weverton Luis a Costa Coreiro, Cristiano Bonato Both, Luciano Paschoal Gaspary, Lisanro Zambeneetti
More informationA Plane Tracker for AEC-automation Applications
A Plane Tracker for AEC-automation Applications Chen Feng *, an Vineet R. Kamat Department of Civil an Environmental Engineering, University of Michigan, Ann Arbor, USA * Corresponing author (cforrest@umich.eu)
More informationJigCell Model Connector: building large molecular network models from components
Simulation Applications JigCell Moel Connector: builing large molecular network moels from components Simulation: Transactions of the Society for Moeling an Simulation International 2018, Vol. 94(11) 993
More informationA shortest path algorithm in multimodal networks: a case study with time varying costs
A shortest path algorithm in multimoal networks: a case stuy with time varying costs Daniela Ambrosino*, Anna Sciomachen* * Department of Economics an Quantitative Methos (DIEM), University of Genoa Via
More informationOptimization of cable-stayed bridges with box-girder decks
Avances in Engineering Software 31 (2000) 417 423 www.elsevier.com/locate/avengsoft Optimization of cable-staye briges with box-girer ecks L.M.C. Simões*, J.H.J.O. Negrão Department of Civil Engineering,
More informationA new fuzzy visual servoing with application to robot manipulator
2005 American Control Conference June 8-10, 2005. Portlan, OR, USA FrA09.4 A new fuzzy visual servoing with application to robot manipulator Marco A. Moreno-Armenariz, Wen Yu Abstract Many stereo vision
More informationTransient analysis of wave propagation in 3D soil by using the scaled boundary finite element method
Southern Cross University epublications@scu 23r Australasian Conference on the Mechanics of Structures an Materials 214 Transient analysis of wave propagation in 3D soil by using the scale bounary finite
More informationReconstructing the Nonlinear Filter Function of LILI-128 Stream Cipher Based on Complexity
Reconstructing the Nonlinear Filter Function of LILI-128 Stream Cipher Base on Complexity Xiangao Huang 1 Wei Huang 2 Xiaozhou Liu 3 Chao Wang 4 Zhu jing Wang 5 Tao Wang 1 1 College of Engineering, Shantou
More informationQueueing Model and Optimization of Packet Dropping in Real-Time Wireless Sensor Networks
Queueing Moel an Optimization of Packet Dropping in Real-Time Wireless Sensor Networks Marc Aoun, Antonios Argyriou, Philips Research, Einhoven, 66AE, The Netherlans Department of Computer an Communication
More informationHandling missing values in kernel methods with application to microbiology data
an Machine Learning. Bruges (Belgium), 24-26 April 2013, i6oc.com publ., ISBN 978-2-87419-081-0. Available from http://www.i6oc.com/en/livre/?gcoi=28001100131010. Hanling missing values in kernel methos
More informationProving Vizing s Theorem with Rodin
Proving Vizing s Theorem with Roin Joachim Breitner March 25, 2011 Proofs for Vizing s Theorem t to be unwiely unless presente in form a constructive algorithm with a proof of its correctness an termination.
More informationClassifying Facial Expression with Radial Basis Function Networks, using Gradient Descent and K-means
Classifying Facial Expression with Raial Basis Function Networks, using Graient Descent an K-means Neil Allrin Department of Computer Science University of California, San Diego La Jolla, CA 9237 nallrin@cs.ucs.eu
More informationTHE BAYESIAN RECEIVER OPERATING CHARACTERISTIC CURVE AN EFFECTIVE APPROACH TO EVALUATE THE IDS PERFORMANCE
БСУ Международна конференция - 2 THE BAYESIAN RECEIVER OPERATING CHARACTERISTIC CURVE AN EFFECTIVE APPROACH TO EVALUATE THE IDS PERFORMANCE Evgeniya Nikolova, Veselina Jecheva Burgas Free University Abstract:
More informationWilliam S. Law. Erik K. Antonsson. Engineering Design Research Laboratory. California Institute of Technology. Abstract
Optimization Methos for Calculating Design Imprecision y William S. Law Eri K. Antonsson Engineering Design Research Laboratory Division of Engineering an Applie Science California Institute of Technology
More informationAnimated Surface Pasting
Animate Surface Pasting Clara Tsang an Stephen Mann Computing Science Department University of Waterloo 200 University Ave W. Waterloo, Ontario Canaa N2L 3G1 e-mail: clftsang@cgl.uwaterloo.ca, smann@cgl.uwaterloo.ca
More informationPetri Nets with Time and Cost (Tutorial)
Petri Nets with Time an Cost (Tutorial) Parosh Aziz Abulla Department of Information Technology Uppsala University Sween parosh@it.uu.se Richar Mayr School of Informatics, LFCS University of Einburgh Unite
More informationNEW METHOD FOR FINDING A REFERENCE POINT IN FINGERPRINT IMAGES WITH THE USE OF THE IPAN99 ALGORITHM 1. INTRODUCTION 2.
JOURNAL OF MEDICAL INFORMATICS & TECHNOLOGIES Vol. 13/009, ISSN 164-6037 Krzysztof WRÓBEL, Rafał DOROZ * fingerprint, reference point, IPAN99 NEW METHOD FOR FINDING A REFERENCE POINT IN FINGERPRINT IMAGES
More informationPerformance Modelling of Necklace Hypercubes
erformance Moelling of ecklace ypercubes. Meraji,,. arbazi-aza,, A. atooghy, IM chool of Computer cience & harif University of Technology, Tehran, Iran {meraji, patooghy}@ce.sharif.eu, aza@ipm.ir a Abstract
More informationAPPLYING GENETIC ALGORITHM IN QUERY IMPROVEMENT PROBLEM. Abdelmgeid A. Aly
International Journal "Information Technologies an Knowlege" Vol. / 2007 309 [Project MINERVAEUROPE] Project MINERVAEUROPE: Ministerial Network for Valorising Activities in igitalisation -
More informationMORA: a Movement-Based Routing Algorithm for Vehicle Ad Hoc Networks
: a Movement-Base Routing Algorithm for Vehicle A Hoc Networks Fabrizio Granelli, Senior Member, Giulia Boato, Member, an Dzmitry Kliazovich, Stuent Member Abstract Recent interest in car-to-car communications
More informationFinite Automata Implementations Considering CPU Cache J. Holub
Finite Automata Implementations Consiering CPU Cache J. Holub The finite automata are mathematical moels for finite state systems. More general finite automaton is the noneterministic finite automaton
More informationCharacterizing Decoding Robustness under Parametric Channel Uncertainty
Characterizing Decoing Robustness uner Parametric Channel Uncertainty Jay D. Wierer, Wahee U. Bajwa, Nigel Boston, an Robert D. Nowak Abstract This paper characterizes the robustness of ecoing uner parametric
More informationShift-map Image Registration
Shift-map Image Registration Svärm, Linus; Stranmark, Petter Unpublishe: 2010-01-01 Link to publication Citation for publishe version (APA): Svärm, L., & Stranmark, P. (2010). Shift-map Image Registration.
More informationBayesian localization microscopy reveals nanoscale podosome dynamics
Nature Methos Bayesian localization microscopy reveals nanoscale poosome ynamics Susan Cox, Ewar Rosten, James Monypenny, Tijana Jovanovic-Talisman, Dylan T Burnette, Jennifer Lippincott-Schwartz, Gareth
More informationTable-based division by small integer constants
Table-base ivision by small integer constants Florent e Dinechin, Laurent-Stéphane Diier LIP, Université e Lyon (ENS-Lyon/CNRS/INRIA/UCBL) 46, allée Italie, 69364 Lyon Ceex 07 Florent.e.Dinechin@ens-lyon.fr
More informationLoop Scheduling and Partitions for Hiding Memory Latencies
Loop Scheuling an Partitions for Hiing Memory Latencies Fei Chen Ewin Hsing-Mean Sha Dept. of Computer Science an Engineering University of Notre Dame Notre Dame, IN 46556 Email: fchen,esha @cse.n.eu Tel:
More informationGenetic Fuzzy Logic Control Technique for a Mobile Robot Tracking a Moving Target
.IJCSI.org 67 Genetic Fuzzy Logic Control Technique for a Mobile Robot Tracking a Moving Target Karim Benbouaballah an Zhu Qi-an College of Automation, Harbin Engineering University Harbin, 151, China
More informationNET Institute*
NET Institute* www.netinst.org Working Paper #08-24 October 2008 Computer Virus Propagation in a Network Organization: The Interplay between Social an Technological Networks Hsing Kenny Cheng an Hong Guo
More informationLocal Path Planning with Proximity Sensing for Robot Arm Manipulators. 1. Introduction
Local Path Planning with Proximity Sensing for Robot Arm Manipulators Ewar Cheung an Vlaimir Lumelsky Yale University, Center for Systems Science Department of Electrical Engineering New Haven, Connecticut
More informationGeneralized Edge Coloring for Channel Assignment in Wireless Networks
TR-IIS-05-021 Generalize Ege Coloring for Channel Assignment in Wireless Networks Chun-Chen Hsu, Pangfeng Liu, Da-Wei Wang, Jan-Jan Wu December 2005 Technical Report No. TR-IIS-05-021 http://www.iis.sinica.eu.tw/lib/techreport/tr2005/tr05.html
More informationFeature Extraction and Rule Classification Algorithm of Digital Mammography based on Rough Set Theory
Feature Extraction an Rule Classification Algorithm of Digital Mammography base on Rough Set Theory Aboul Ella Hassanien Jafar M. H. Ali. Kuwait University, Faculty of Aministrative Science, Quantitative
More informationACE: And/Or-parallel Copying-based Execution of Logic Programs
ACE: An/Or-parallel Copying-base Execution of Logic Programs Gopal GuptaJ Manuel Hermenegilo* Enrico PontelliJ an Vítor Santos Costa' Abstract In this paper we present a novel execution moel for parallel
More informationAn ECA-based Control-rule formalism for the BPEL Process Modularization *
Availale online at www.scienceirect.com Proceia Environmental Sciences 11 (2011) 511 517 An ECA-ase Control-rule formalism for the BPEL Process Moularization * Bang Ouyang, Farong Zhong **, Huan Liu Department
More information6.823 Computer System Architecture. Problem Set #3 Spring 2002
6.823 Computer System Architecture Problem Set #3 Spring 2002 Stuents are strongly encourage to collaborate in groups of up to three people. A group shoul han in only one copy of the solution to the problem
More informationBends, Jogs, And Wiggles for Railroad Tracks and Vehicle Guide Ways
Ben, Jogs, An Wiggles for Railroa Tracks an Vehicle Guie Ways Louis T. Klauer Jr., PhD, PE. Work Soft 833 Galer Dr. Newtown Square, PA 19073 lklauer@wsof.com Preprint, June 4, 00 Copyright 00 by Louis
More informationDivide-and-Conquer Algorithms
Supplment to A Practical Guie to Data Structures an Algorithms Using Java Divie-an-Conquer Algorithms Sally A Golman an Kenneth J Golman Hanout Divie-an-conquer algorithms use the following three phases:
More informationComputer Organization
Computer Organization Douglas Comer Computer Science Department Purue University 250 N. University Street West Lafayette, IN 47907-2066 http://www.cs.purue.eu/people/comer Copyright 2006. All rights reserve.
More informationAlmost Disjunct Codes in Large Scale Multihop Wireless Network Media Access Control
Almost Disjunct Coes in Large Scale Multihop Wireless Network Meia Access Control D. Charles Engelhart Anan Sivasubramaniam Penn. State University University Park PA 682 engelhar,anan @cse.psu.eu Abstract
More informationPolitehnica University of Timisoara Mobile Computing, Sensors Network and Embedded Systems Laboratory. Testing Techniques
Politehnica University of Timisoara Mobile Computing, Sensors Network an Embee Systems Laboratory ing Techniques What is testing? ing is the process of emonstrating that errors are not present. The purpose
More informationScalable Deterministic Scheduling for WDM Slot Switching Xhaul with Zero-Jitter
FDL sel. VOA SOA 100 Regular papers ONDM 2018 Scalable Deterministic Scheuling for WDM Slot Switching Xhaul with Zero-Jitter Bogan Uscumlic 1, Dominique Chiaroni 1, Brice Leclerc 1, Thierry Zami 2, Annie
More informationRobust Camera Calibration for an Autonomous Underwater Vehicle
obust Camera Calibration for an Autonomous Unerwater Vehicle Matthew Bryant, Davi Wettergreen *, Samer Aballah, Alexaner Zelinsky obotic Systems Laboratory Department of Engineering, FEIT Department of
More informationAdjacency Matrix Based Full-Text Indexing Models
1000-9825/2002/13(10)1933-10 2002 Journal of Software Vol.13, No.10 Ajacency Matrix Base Full-Text Inexing Moels ZHOU Shui-geng 1, HU Yun-fa 2, GUAN Ji-hong 3 1 (Department of Computer Science an Engineering,
More informationWLAN Indoor Positioning Based on Euclidean Distances and Fuzzy Logic
WLAN Inoor Positioning Base on Eucliean Distances an Fuzzy Logic Anreas TEUBER, Bern EISSFELLER Institute of Geoesy an Navigation, University FAF, Munich, Germany, e-mail: (anreas.teuber, bern.eissfeller)@unibw.e
More informationComparison of Methods for Increasing the Performance of a DUA Computation
Comparison of Methos for Increasing the Performance of a DUA Computation Michael Behrisch, Daniel Krajzewicz, Peter Wagner an Yun-Pang Wang Institute of Transportation Systems, German Aerospace Center,
More informationVerifying performance-based design objectives using assemblybased vulnerability
Verying performance-base esign objectives using assemblybase vulnerability K.A. Porter Calornia Institute of Technology, Pasaena, Calornia, USA A.S. Kiremijian Stanfor University, Stanfor, Calornia, USA
More informationLecture 1 September 4, 2013
CS 84r: Incentives an Information in Networks Fall 013 Prof. Yaron Singer Lecture 1 September 4, 013 Scribe: Bo Waggoner 1 Overview In this course we will try to evelop a mathematical unerstaning for the
More informationInvestigation into a new incremental forming process using an adjustable punch set for the manufacture of a doubly curved sheet metal
991 Investigation into a new incremental forming process using an ajustable punch set for the manufacture of a oubly curve sheet metal S J Yoon an D Y Yang* Department of Mechanical Engineering, Korea
More informationNAND flash memory is widely used as a storage
1 : Buffer-Aware Garbage Collection for Flash-Base Storage Systems Sungjin Lee, Dongkun Shin Member, IEEE, an Jihong Kim Member, IEEE Abstract NAND flash-base storage evice is becoming a viable storage
More informationInverse Model to Determine the Optimal Number of Drops of RDC Column Using Fuzzy Approach
Inverse Moel to Determine the Optimal Number of Drops of RDC Column Using Fuzzy Approach 1 HAFEZ IBRAHIM, 2 JAMALLUDIN TALIB, 3 NORMAH MAAN Department of Mathematics Universiti Teknologi Malaysia 81310
More information1. What is a Map (or Function)? Maps. CITS2200 Data Structures and Algorithms. Some definitions... Topic 16
1. What is a Map (or Function)? CITS2200 Data Structures an Algorithms Topic 16 Maps Definitions what is a map (or function)? Specification List-base representation (singly linke) Sorte block representation
More informationRough Set Approach for Classification of Breast Cancer Mammogram Images
Rough Set Approach for Classification of Breast Cancer Mammogram Images Aboul Ella Hassanien Jafar M. H. Ali. Kuwait University, Faculty of Aministrative Science, Quantitative Methos an Information Systems
More informationAn Introduction of BOM Modeling Framework
An Introuction of BOM Moeling Framework Qiang He, Ming-xin Zhang, an Jian-xing Gong Astract Component ase moeling has een a research hotpot in the area of Moeling an Simulation for a long time. In orer
More informationPART 2. Organization Of An Operating System
PART 2 Organization Of An Operating System CS 503 - PART 2 1 2010 Services An OS Supplies Support for concurrent execution Facilities for process synchronization Inter-process communication mechanisms
More informationPreamble. Singly linked lists. Collaboration policy and academic integrity. Getting help
CS2110 Spring 2016 Assignment A. Linke Lists Due on the CMS by: See the CMS 1 Preamble Linke Lists This assignment begins our iscussions of structures. In this assignment, you will implement a structure
More informationResearch Article Research on Law s Mask Texture Analysis System Reliability
Research Journal of Applie Sciences, Engineering an Technology 7(19): 4002-4007, 2014 DOI:10.19026/rjaset.7.761 ISSN: 2040-7459; e-issn: 2040-7467 2014 Maxwell Scientific Publication Corp. Submitte: November
More informationTHE APPLICATION OF ARTICLE k-th SHORTEST TIME PATH ALGORITHM
International Journal of Physics an Mathematical Sciences ISSN: 2277-2111 (Online) 2016 Vol. 6 (1) January-March, pp. 24-6/Mao an Shi. THE APPLICATION OF ARTICLE k-th SHORTEST TIME PATH ALGORITHM Hua Mao
More informationShift-map Image Registration
Shift-map Image Registration Linus Svärm Petter Stranmark Centre for Mathematical Sciences, Lun University {linus,petter}@maths.lth.se Abstract Shift-map image processing is a new framework base on energy
More informationAttitude Dynamics and Control of a Dual-Body Spacecraft using Variable-Speed Control Moment Gyros
Attitue Dynamics an Control of a Dual-Boy Spacecraft using Variable-Spee Control Moment Gyros Abstract Marcello Romano, Brij N. Agrawal Department of Mechanical an Astronautical Engineering, US Naval Postgrauate
More informationEFFICIENT STEREO MATCHING BASED ON A NEW CONFIDENCE METRIC. Won-Hee Lee, Yumi Kim, and Jong Beom Ra
th European Signal Processing Conference (EUSIPCO ) Bucharest, omania, August 7-3, EFFICIENT STEEO MATCHING BASED ON A NEW CONFIDENCE METIC Won-Hee Lee, Yumi Kim, an Jong Beom a Department of Electrical
More informationImproving Spatial Reuse of IEEE Based Ad Hoc Networks
mproving Spatial Reuse of EEE 82.11 Base A Hoc Networks Fengji Ye, Su Yi an Biplab Sikar ECSE Department, Rensselaer Polytechnic nstitute Troy, NY 1218 Abstract n this paper, we evaluate an suggest methos
More informationEvolutionary Optimisation Methods for Template Based Image Registration
Evolutionary Optimisation Methos for Template Base Image Registration Lukasz A Machowski, Tshilizi Marwala School of Electrical an Information Engineering University of Witwatersran, Johannesburg, South
More informationDesign Management Using Dynamically Defined Flows
Design Management Using Dynamically Deine Flows Peter R. Sutton*, Jay B. Brockman** an Stephen W. Director* *Department o Electrical an Computer Engineering, Carnegie Mellon University, Pittsburgh, PA
More informationSURVIVABLE IP OVER WDM: GUARANTEEEING MINIMUM NETWORK BANDWIDTH
SURVIVABLE IP OVER WDM: GUARANTEEEING MINIMUM NETWORK BANDWIDTH Galen H Sasaki Dept Elec Engg, U Hawaii 2540 Dole Street Honolul HI 96822 USA Ching-Fong Su Fuitsu Laboratories of America 595 Lawrence Expressway
More informationLab work #8. Congestion control
TEORÍA DE REDES DE TELECOMUNICACIONES Grao en Ingeniería Telemática Grao en Ingeniería en Sistemas e Telecomunicación Curso 2015-2016 Lab work #8. Congestion control (1 session) Author: Pablo Pavón Mariño
More informationA Versatile Model-Based Visibility Measure for Geometric Primitives
A Versatile Moel-Base Visibility Measure for Geometric Primitives Marc M. Ellenrieer 1,LarsKrüger 1, Dirk Stößel 2, an Marc Hanheie 2 1 DaimlerChrysler AG, Research & Technology, 89013 Ulm, Germany 2 Faculty
More informationThreshold Based Data Aggregation Algorithm To Detect Rainfall Induced Landslides
Threshol Base Data Aggregation Algorithm To Detect Rainfall Inuce Lanslies Maneesha V. Ramesh P. V. Ushakumari Department of Computer Science Department of Mathematics Amrita School of Engineering Amrita
More informationYou Can Do That. Unit 16. Motivation. Computer Organization. Computer Organization Design of a Simple Processor. Now that you have some understanding
.. ou Can Do That Unit Computer Organization Design of a imple Clou & Distribute Computing (CyberPhysical, bases, Mining,etc.) Applications (AI, Robotics, Graphics, Mobile) ystems & Networking (Embee ystems,
More informationThe Journal of Systems and Software
The Journal of Systems an Software 83 (010) 1864 187 Contents lists available at ScienceDirect The Journal of Systems an Software journal homepage: www.elsevier.com/locate/jss Embeing capacity raising
More informationChange Patterns and Change Support Features in Process-Aware Information Systems
hange Patterns an hange Support eatures in -Aware Information Systems arbara Weber 1,, Stefanie Rinerle 2, an Manfre Reichert 3 1 Quality ngineering Research Group, University of Innsbruck, Austria arbara.weber@uibk.ac.at
More informationMessage Transport With The User Datagram Protocol
Message Transport With The User Datagram Protocol User Datagram Protocol (UDP) Use During startup For VoIP an some vieo applications Accounts for less than 10% of Internet traffic Blocke by some ISPs Computer
More informationA Framework for Dialogue Detection in Movies
A Framework for Dialogue Detection in Movies Margarita Kotti, Constantine Kotropoulos, Bartosz Ziólko, Ioannis Pitas, an Vassiliki Moschou Department of Informatics, Aristotle University of Thessaloniki
More informationEXPERIMENTAL VALIDATION OF HIGH SPEED HAZARD AVOIDANCE CONTROL FOR UNMANNED GROUND VEHICLES. Matthew Spenko, Steven Dubowsky, and Karl Iagnemma
EXPERIMENTAL VALIDATION OF HIGH SPEED HAZARD AVOIDANCE CONTROL FOR UNMANNED GROUND VEHICLES Matthew Spenko, Steven Dubowsky, an Karl Iagnemma Massachusetts Institute of Technology, Department of Mechanical
More informationAutomation of Bird Front Half Deboning Procedure: Design and Analysis
Automation of Bir Front Half Deboning Proceure: Design an Analysis Debao Zhou, Jonathan Holmes, Wiley Holcombe, Kok-Meng Lee * an Gary McMurray Foo Processing echnology Division, AAS Laboratory, Georgia
More informationModifying ROC Curves to Incorporate Predicted Probabilities
Moifying ROC Curves to Incorporate Preicte Probabilities Cèsar Ferri DSIC, Universitat Politècnica e València Peter Flach Department of Computer Science, University of Bristol José Hernánez-Orallo DSIC,
More informationReformulation and Solution Algorithms for Absolute and Percentile Robust Shortest Path Problems
> REPLACE THIS LINE WITH YOUR PAPER IENTIFICATION NUMBER (OUBLE-CLICK HERE TO EIT) < 1 Reformulation an Solution Algorithms for Absolute an Percentile Robust Shortest Path Problems Xuesong Zhou, Member,
More informationLearning Polynomial Functions. by Feature Construction
I Proceeings of the Eighth International Workshop on Machine Learning Chicago, Illinois, June 27-29 1991 Learning Polynomial Functions by Feature Construction Richar S. Sutton GTE Laboratories Incorporate
More informationKinematic Analysis of a Family of 3R Manipulators
Kinematic Analysis of a Family of R Manipulators Maher Baili, Philippe Wenger an Damien Chablat Institut e Recherche en Communications et Cybernétique e Nantes, UMR C.N.R.S. 6597 1, rue e la Noë, BP 92101,
More informationImage Segmentation using K-means clustering and Thresholding
Image Segmentation using Kmeans clustering an Thresholing Preeti Panwar 1, Girhar Gopal 2, Rakesh Kumar 3 1M.Tech Stuent, Department of Computer Science & Applications, Kurukshetra University, Kurukshetra,
More informationFuzzy Learning Variable Admittance Control for Human-Robot Cooperation
Fuzzy Learning ariable Amittance Control for Human-Robot Cooperation Fotios Dimeas an Nikos Aspragathos Abstract This paper presents a metho for variable amittance control in human-robot cooperation tasks,
More informationDesign of Policy-Aware Differentially Private Algorithms
Design of Policy-Aware Differentially Private Algorithms Samuel Haney Due University Durham, NC, USA shaney@cs.ue.eu Ashwin Machanavajjhala Due University Durham, NC, USA ashwin@cs.ue.eu Bolin Ding Microsoft
More informationAuthenticated indexing for outsourced spatial databases
The VLDB Journal (2009) 8:63 648 DOI 0.007/s00778-008-03-2 REGULAR PAPER Authenticate inexing for outsource spatial atabases Yin Yang Stavros Papaopoulos Dimitris Papaias George Kollios Receive: February
More information