Basu - PDFSEARCH.IO - Document Search Engine

Basu
Results: 365

#	Item
271	Distributed Semantics and Implementation for Systems with Interaction and Priority Ananda Basu, Philippe Bidinger, Marius Bozga, and Joseph Sifakis Universit´e Grenoble 1 - CNRS - VERIMAG ´ Centre Equation, Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Entailment Logical consequence Metalogic Oracle machine Logic Deduction Models of computation
272	Modeling Heterogeneous Real-time Components in BIP Ananda Basu, Marius Bozga and Joseph Sifakis Verimag, 38610 Gieres, France {basu, bozga, sifakis}@imag.fr Abstract We present a methodology for modeling heterogeneous Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Futures and promises T-carrier Phase transition System Physics Science Computing Data management Schedule Transaction processing
273	Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset⋆ Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, and Joseph Sifakis ´ VERIMAG, Centre Equation, Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Information Model checking Communications protocol Component-based software engineering Software development process Distributed computing Software engineering Software architecture Data
274	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
275	[removed]https://mail.gov.in/iwc_static/layout/shell.html?lang=en&2-7.01_091339 Subject: [ No subject ] To: [removed] Add to Reading List Source URL: ipindia.gov.in Language: English - Date: 2014-06-12 02:47:48 Jyoti Basu Claim Patent attorney Patent Lectin Biomass Biochemistry Biology Law Patent law
276	Fueling Calorie Intake Decline: Household Level Evidence from Rural India Deepankar Basu and Amit Basole April 2014 Add to Reading List Source URL: www.peri.umass.edu Language: English - Date: 2014-04-23 13:02:40 Food energy Food Malnutrition Consumer Expenditure Survey Consumer price index Health Nutrition Medicine
277	[removed]https://mail.gov.in/iwc_static/layout/shell.html?lang=en&2-7.01_091339 Subject: [ No subject ] To: [removed] Add to Reading List Source URL: www.ipindia.gov.in Language: English - Date: 2014-06-12 02:47:48 Jyoti Basu Claim Patent attorney Patent Lectin Biomass Biochemistry Biology Law Patent law
278	CHAPTER 1 MA ANAMIKA BASU and ANASUA SARKAR Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-09-25 10:18:54 Developmental biology Plant physiology Plant reproduction Plant embryogenesis Auxin Meristem Plant hormone Expansin Asymmetric cell division Biology Embryology Plant anatomy
279	The Microsoft Academic Search Dataset and KDD Cup 2013 Senjuti Basu Roy Martine De Cock Add to Reading List Source URL: www.kdd.org Language: English - Date: 2013-08-22 19:12:34 Information retrieval Knowledge representation Metadata Semantic Web VoiD Precision and recall Data set Information Statistics Data
280	Declarative Policy-based Adaptive MANET Routing Changbin Liu∗ Ricardo Correa∗ Xiaozhou Li∗ Prithwish Basu† Boon Thau Loo∗ Yun Mao‡ ∗ University of Pennsylvania † BBN Technologies ‡ AT&T Labs - Research Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2009-09-12 14:19:05 OSI protocols Optimized Link State Routing Protocol Link-state routing protocol Mobile ad hoc network Dynamic Source Routing Routing Zone Routing Protocol Gossip protocol Delay-tolerant networking Wireless networking Technology Network architecture

UPDATE