Marius - PDFSEARCH.IO - Document Search Engine

Marius
Results: 755

#	Item
621	Source-to-Source Architecture Transformation for Performance Optimization in BIP Marius Bozga Verimag Laboratory [removed] Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Applied mathematics Theoretical computer science Denotational semantics Logic in computer science
622	Systematic Correct Construction of Self-stabilizing Systems: A Case Study⋆ Ananda Basu2 , Borzoo Bonakdarpour1 , Marius Bozga2 , and Joseph Sifakis2 1 Department of Electrical and Computer Engineering Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Topology Electronics Knowledge Self-stabilization Reset Electromagnetism
623	D-Finder: A Tool for Compositional Deadlock Detection and Verification Saddek Bensalem Marius Bozga Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 NuSMV Invariant Model checking
624	Modeling Synchronous Systems in BIP Marius Bozga Vassiliki Sfyrla Joseph Sifakis Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Software engineering Concurrency Petri net SIGNAL Modal logic Synchronous programming language Actor model Signal-flow graph Computing Diagrams Logic
625	From High-level Component-Based Models to Distributed Implementations Borzoo Bonakdarpour Marius Bozga Mohamad Jaber Jean Quilbeuf Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Computing Network architecture Analysis of variance Software architecture Communications protocol Protocols TCP/IP model Transmission Control Protocol Component-based software engineering Internet protocols Data Information
626	Compositional Verification for Component-based Systems and Application Saddek Bensalem Marius Bozga Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Function Limit Mathematics Symbol Invariant
627	Marius Jakulis Jason The founder, chairman of AAA and senior partner of AAA Baltic Service Company – Law Firm is Marius Jakulis Jason, who practiced law in New York City for 15 years before moving to Lithuania in 1992 Add to Reading List Source URL: www.ecta.org Language: English - Date: 2009-10-26 19:00:00 Patent attorney International Federation of Intellectual Property Attorneys Intellectual property law Intellectual property organization Sojuzpatent Law Legal professions Law in the United Kingdom
628	Marius Schneider, Chair of the ECTA Anti-Counterfeiting Committee, Lawyer, Eeman & Partners, BE Marius is attorney-at-law in Brussels, where he heads IPvocate, the IP section of Eeman & Partners. He has 15 years of exper Add to Reading List Source URL: www.ecta.org Language: English - Date: 2011-06-20 07:34:34 Monopoly Social information processing European Competitive Telecommunications Association World Intellectual Property Organization Journal of Intellectual Property Law & Practice ICHEC Brussels Management School Law Business Technology Intellectual property law International trade Intellectual property
629	www.computer.org/software Rigorous Component-Based System Design Using the BIP Framework Anandu Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, and Joseph Sifakis Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Computing Science Object-oriented programming Component-based software engineering Modeling language Binding immunoglobulin protein Model checking Actor model Software design Scientific modeling Software engineering Systems science
630	MARIUS SCHNEIDER, Chair of the ECTA Anti-Counterfeiting Committee, Member of the EU Observatory on Infringements of Intellectual Property Rights, Attorney-at-law at the Brussels and Mauritius bar, CEW, IPvocate and IPvoc Add to Reading List Source URL: conference.ecta.org Language: English - Date: 2014-03-10 05:35:59 Civil law International trade Office for Harmonization in the Internal Market Trademark law Intellectual property European Competitive Telecommunications Association Property law World Intellectual Property Organization ICHEC Brussels Management School Intellectual property law Intellectual property organizations Law

UPDATE