بر اساس عنوان

1
Foreword from IEEE Indonesia section chair
2
Foreword from TENCON 2010 organizing chair
3
Foreword from TENCON 2011 general chair
4
Foreword from TENCON 2011 organizing chair
5
Foreword from the associate editor [Historial Corner]
6
Foreword from the Associate Editor [Historical Corner]
7
Foreword from the Associate Editor [Historical Corner]
8
Foreword from the Associate Editor [Historical Corner]
9
Foreword from the Associate Editor [Historical Corner]
10
Foreword from the Associate Editor [Historical Corner]
11
Foreword from the Associate Editor [Historical Corner]
12
Foreword from the chairman of ICSEEA 2015
13
Foreword from the conference chairs
14
Foreword from the Conference Chairs
15
Foreword from the CPSNA 2012 Co-Chairs
16
Foreword from the Editor
17
Foreword from the Editor
18
Foreword from the Editors
19
Foreword from the Editors
20
Foreword from the General Chair
21
Foreword from the general chair
22
Foreword from the General Chair
23
Foreword from the General Chair
24
Foreword from the general chairs
25
Foreword from the General Co-chairs
26
Foreword from the General Co-Chairs
27
Foreword from the Organizing Chair
28
Foreword from the organizing committee
29
Foreword from the Program Chair
30
Foreword from the Program Chair
31
Foreword from the program chairs
32
Foreword from the program chairs
33
Foreword from the Programme Chairs
34
Foreword from the Programme Chairs - STAST 2012
35
Foreword from the Technical Chair
36
Foreword from the workshop chairs
37
Foreword from the Workshop Chairs
38
Foreword from the Workshop Chairs
39
Foreword from the Workshop Chairs - STAST 2012
40
Foreword gratifying worldwide progress in technology
41
Foreword HOLM Special Section
42
Foreword integrated systems on a chip
43
Foreword introduction to SEMI-THERM XVII special section
44
Foreword ISLPED proceedings
45
Foreword ISSCC 71 - Catalyst for progress
46
Foreword ISSCC goals and achievements
47
Foreword Malcolm Johnson
48
Foreword Materials And Process Challenges-contributions From The First International Conference On Electronic Assembly
49
Foreword of Nestor Gonzalez
50
Foreword of the 13th IEEE ACSAC Symposium/Workshop
51
Foreword of the 5th Portuguese Software Engineering Doctoral Symposium (SEDES´2014)
52
Foreword of the 8th International Workshop on Advanced Ground Penetrating Radar Paper
53
Foreword of the chairman of the Local Organizing Committee
54
Foreword of the Co-Chairs of ITC 27
55
Foreword of the proceedings of the 11th international conference on sampling theory and applications
56
Foreword of the Special Track on SAT and CSP 2015
57
Foreword of the Thematic Track: Evidence-Based Software Quality Engineering
58
Foreword of the Thematic Track: ICT Process Improvement and Assessment
59
Foreword of the Thematic Track: ICT Verification and Validation
60
Foreword of the Thematic Track: Quality in Agile Methods
61
Foreword of the Thematic Track: Quality in ICT Requirements Engineering
62
Foreword of the Thematic Track: Quality in IT Service Management
63
Foreword of the Thematic Track: Quality in Model Driven Engineering
64
Foreword of the Thematic Track: Quality in Web Engineering
65
Foreword of the TPC Co-Chairs of ITC 27
66
Foreword on Productivity
67
Foreword our silver anniversary
68
Foreword page
69
Foreword Parallel Processing Today
70
Foreword participation in a conference
71
Foreword Polymeric Electronics Packaging
72
Foreword Polytronic Special Section
73
Foreword Polytronic Special Section
74
Foreword reliability and safety in real-time systems
75
Foreword SEMI-THERM Special Section
76
Foreword SEMITHERM XIII
77
Foreword Software Reliability
78
Foreword software reliability
79
Foreword solid-state electronics in the 1970s
80
Foreword SOS special issue—Nonvolatile memory technology
81
Foreword SOS special issue—SOS technology
82
Foreword special issue honors dr. motohisa kanda
83
Foreword Special Issue of Components and Packaging Technologies With Contributions From ITherm 2004 Thermal Management Track
84
Foreword special issue on analysis of multitemporal remote sensing images
85
Foreword Special Issue on Characterization of Nano CMOS Variability by Simulation and Measurements
86
Foreword Special Issue on Compact Modeling of Emerging Devices
87
Foreword special issue on device integration technology for mixed-signal SOC
88
Foreword special issue on digital control in power electronics
89
Foreword Special Issue on Distributed Systems
90
Foreword Special Issue on Integrated Circuits Technologies for RF Circuit Applications
91
Foreword Special Issue on Integrated Power Electronics
92
Foreword Special Issue on Lighting Applications
93
Foreword Special issue on mems/nems packaging
94
Foreword Special Issue on Simulation and Modeling of Nanoelectronics Devices
95
Foreword special issue on solid-state image sensors
96
Foreword Special Issue on System-On-Package (SOP)
97
Foreword Special Issue on the 2004 European Conference on Wireless Technology
98
Foreword Special Issue On The Latest Advances In IC Manufacturing In Asia
99
Foreword Special Issue on Tin Whiskers
100
Foreword Special Issue on Transistors With Steep Subthreshold Swing for Low-Power Electronics
101
Foreword Special Issue on Vacuum Electron Devices
102
Foreword Special Issue on Variation Aware Technology and Circuit Co-Design
103
Foreword Special Issue on Wide Bandgap Power Switching Devices for Energy Efficiency and Renewable Energy Integration
104
Foreword Special Section on Drop Testing
105
Foreword Special Section on Electrical Overstress/Electrostatic Discharge (EOS/ESD)
106
Foreword Special Section on Electrical Performance Analysis and Simulation of Interconnects, Packages and Devices Composing Electronic Systems for High-Performance Applications
107
Foreword Special Section on EuroSimE
108
Foreword Special Section on High-Speed I/O Channels
109
Foreword Special Section on Holm 2004
110
Foreword Special Section on ITherm 2004 Mechanics Track
111
Foreword Special Section on ITherm 2004: Emerging Technologies
112
Foreword Special Section on Micro- and Nanoscale Packaging
113
Foreword Special Section on Packaging for Micro/Nano-Scale Systems
114
Foreword Special Section on Recent Progress in Electrical Modeling and Simulation of High-Speed ICs and Packages
115
Foreword special section on the 47th IEEE holm conference on electrical contacts
116
Foreword special section on the 47th IEEE Holm conference on electrical contacts
117
Foreword Special Section on the 60th Anniversary of the International Electron Device Meeting
118
Foreword Special Section on the IEEE International Symposiumon Electronics and the Environment (IEEE-ISEE)
119
Foreword Special Section on Through Silicon Vias
120
Foreword Special Section on Tin Whiskers
121
Foreword Special Section on Transmission Investment, Pricing, and Construction
122
Foreword special section on virtual reality in robotics and automation
123
Foreword System Connections and Interconnections a Symposium on Fundamental Plans of Power Supply and Operating Problems of Interconnections
124
Foreword Technical Conferences: A Window to the Future
125
Foreword technology prowess
126
Foreword the fourth decade era
127
Foreword the interdisciplinary scope of the ISSCC
128
Foreword the submicron era begins
129
Foreword Thermal Design and Analysis
130
Foreword thermal investigations of ICs and microstructures (THERMINIC)
131
Foreword thermal investigations of ICs and microstructures (THERMINIC)
132
Foreword thermal investigations of ICs and systems (THERMINIC)
133
Foreword thermal investigations of ICs and systems (THERMINIC)
134
Foreword THERMINIC Special Section
135
Foreword three decades of progress
136
Foreword Three-Dimensional Packaging
137
Foreword to active-network papers
138
Foreword to CVPR4HB 2009 workshop
139
Foreword to EuCAP 2013 in Gothenburg, Sweden [EurAAP Corner]
140
Foreword to joint special issue on VLSI analog and digital signal processing
141
Foreword to PacificVis 2014 Symposium Proceedings
142
Foreword to Part III of the new Journal
143
Foreword to special issue
144
Foreword to special issue on 1984 CHMT Symposium
145
Foreword to Special Issue on Aerospace Computers
146
Foreword to special issue on digital image processing and applications
147
Foreword to Special Issue on Reflectometry using Global Navigation Satellite Systems and Other Signals of Opportunity (GNSS+R)
148
Foreword to special section on complex signal processing
149
Foreword to special section on MISR
150
Foreword to Special Session
151
Foreword to the 10th IEEE ECMS workshop
152
Foreword to the 11th ECMSM workshop
153
Foreword to the 12th IEEE DDECS symposium
154
Foreword to the 14th IEEE DDECS symposium
155
Foreword to the 15th I4CS 2015
156
Foreword to the 15th IEEE DDECS Symposium
157
Foreword to the 16th IEEE DDECS Symposium
158
Foreword to the 17th IEEE DDECS symposium
159
Foreword to the 18th IEEE DDECS Symposium
160
Foreword to the Addendum
161
Foreword to the earth observing 1 special issue
162
Foreword to the EOS aqua special issue
163
Foreword to the IEEE DDECS 2007 Workshop
164
Foreword to the Issue on Remote Sensing of Regional Land Use and Land Cover
165
Foreword to the March 2003 EOS Aqua AMSR-E Arctic Sea Ice Field Campaign Special Issue
166
Foreword to the new journal
167
Foreword to the SMAP ´09 Special Session on Intelligence, Adaptation and Personalization on the Web
168
Foreword to the speacial issue on lasers on fusion
169
Foreword to the special issue of optical guided wave technology
170
Foreword to the special issue of the Journal of Lightwave Technology on high-speed technology for lightwave applications
171
Foreword to the special issue of the Journal of Lightwave Technology on wide-band optical transmission technology and system
172
Foreword to the Special Issue on “Human Settlements: A Global Remote Sensing Challenge”
173
Foreword to the Special Issue on Advances in SAR and Radar Technology
174
Foreword to the Special Issue on Advances in Techniques for Analysis of Remotely Sensed Data
175
Foreword to the Special issue on Agro-Geoinformatics—The Applications of Geoinformatics in Agriculture
176
Foreword to the Special Issue on Big Data in Remote Sensing
177
Foreword to the Special Issue on Calibration and Validation of ALOS Sensors (PALSAR, AVNIR-2, and PRISM) and Their Use for Bio- and Geophysical Parameter Retrievals
178
Foreword to the Special Issue on COSMO-Skymed First and Second Generation Exploitation
179
Foreword to the Special Issue on Data Fusion
180
Foreword to the Special Issue on Data Fusion in Remote Sensing [From the Guest Editors]
181
Foreword to the special issue on earth observation approaches for large area land monitoring with multiple sensors and resolutions
182
Foreword to the Special Issue on European Conference on Optical Communications (ECOC 2014)
183
Foreword to the special issue on generation and use of radiation in the extreme ultraviolet and soft X-ray region
184
Foreword to the Special Issue on Ground Penetrating Radar: Modeling Tools, Imaging Methods and Systems Concepts
185
Foreword to the Special Issue on High Performance Computing in Earth Observation and Remote Sensing
186
Foreword to the Special Issue on Human Settlement Monitoring Using Multiple Earth Observation Data
187
Foreword to the Special Issue on Human Settlement Observation and Monitoring from Space
188
Foreword to the Special Issue on Hyperspectral Image and Signal Processing
189
Foreword to the Special Issue on Hyperspectral Image and Signal Processing
190
Foreword to the Special Issue on Hyperspectral Image and Signal Processing
191
Foreword to the Special Issue on Hyperspectral Image and Signal Processing
192
Foreword to the special issue on hyperspectral remote sensing: Theory, methods, and applications
193
Foreword to the Special Issue on IGARSS 2012
194
Foreword to the Special Issue on Information Extraction From High-Spatial-Resolution Optical Remotely Sensed Imagery
195
Foreword to the Special Issue on Intercalibration of Satellite Instruments
196
Foreword to the Special Issue on Interoperability Architectures and Arrangements for Multi-Disciplinary Earth Observation Systems and Applications
197
Foreword to the Special Issue on Landsat Sensor Performance Characterization
198
Foreword to the Special Issue on Machine Learning for Remote Sensing Data Processing
199
Foreword to the special issue on millennium day of diffraction seminars
200
Foreword to the Special Issue on Multichannel Space-Based SAR
201
Foreword to the Special Issue on Optical Guided Wave Technology
202
Foreword to the Special Issue on Optical Guided Wave Technology
203
Foreword to the special issue on optical guided wave technology
204
Foreword to the Special Issue on Optical Multiangular Data Exploitation and Outcome of the 2011 GRSS Data Fusion Contest
205
Foreword to the Special Issue on Pattern Recognition in Remote Sensing
206
Foreword to the Special Issue on Pattern Recognition in Remote Sensing
207
Foreword to the Special Issue on Pattern Recognition in Remote Sensing
208
Foreword to the special issue on quaternary compound semiconductor materials and devices--Sources and detectors
209
Foreword to the Special Issue on Radio Frequency Interference: Identification, Mitigation, and Impact Assessment
210
Foreword to the Special Issue on Remote Sensing and Modeling of Surface Properties
211
Foreword to the Special Issue on Remote Sensing and Modeling of Surface Properties
212
Foreword to the Special Issue on Retrieval of Bio- and Geophysical Parameters From SAR Data for Land Applications
213
Foreword to the Special Issue on Scientific and Technological Progress of Synthetic Aperture Radar (SAR)
214
Foreword to the special issue on semiconductor lasers
215
Foreword to the special issue on semiconductor lasers
216
Foreword to the Special Issue on Spectral Unmixing of Remotely Sensed Data
217
Foreword to the Special Issue on Status of Aquarius/SAC-D Mission Calibration/Validation and Retrieval Algorithms
218
Foreword to the Special Issue on Subsurface Sensing Using Ground-Penetrating Radar (GPR)
219
Foreword to the Special Issue on Synthetic Aperture Radar (SAR) Technologies and Techniques
220
Foreword to the Special Issue on Synthetic Aperture Radar Technologies and Techniques
221
Foreword to the Special Issue on TerraSAR-X: Mission, Calibration, and First Results
222
Foreword to the Special Issue on the 10th Specialist Meeting on Microwave Radiometry and Remote Sensing of the Environment (MicroRad´08)
223
Foreword to the Special Issue on the 11th Specialist Meeting on Microwave Radiometry and Remote Sensing Applications (MicroRad 2010)
224
Foreword to the Special Issue on the 13th Specialist Meeting on Microwave Radiometry and Remote Sensing of the Environment (MicroRad 2014)
225
Foreword to the Special Issue on the 14th International Conference on Ground Penetrating Radar (GPR2012)
226
Foreword to the special issue on the 1980 international semiconductor laser conference
227
Foreword to the Special Issue on the 2005 International Geoscience and Remote Sensing Symposium (IGARSS´05): “Harmony Between Man and Nature”
228
Foreword to the Special Issue on the 2006 International Geoscience and Remote Sensing Symposium (IGARSS): “Remote Sensing—A Natural–Global Partnership”
229
Foreword to the Special Issue on the 2007 International Geoscience and Remote Sensing Symposium (IGARSS´07)
230
Foreword to the Special Issue on the 2008 International Geoscience and Remote Sensing Symposium (IGARSS´08)
231
Foreword to the Special Issue on the 2009 International Geoscience and Remote Sensing Symposium (IGARSS ´09)
232
Foreword to the Special Issue on the 2010 International Geoscience and Remote Sensing Symposium
233
Foreword to the Special Issue on the 2012 IEEE International Geoscience and Remote Sensing Symposium (IGARSS´12)
234
Foreword to the Special Issue on the 2013 IEEE International Geoscience and Remote Sensing Symposium
235
Foreword to the Special Issue on the 25th Symposium on Fusion Engineering (SOFE 2013)
236
Foreword to the Special Issue on the 8th Specialist Meeting on Microwave Radiometry and Remote Sensing Applications (MicroRad04)
237
Foreword to the Special Issue on the 9th Specialist Meeting on Microwave Radiometry and Remote Sensing Applications (MicroRad ´06)
238
Foreword to the Special Issue on the Analysis of Multitemporal Remote Sensing Images
239
Foreword to the Special Issue on the DMSP SSMIS
240
Foreword to the Special Issue on the EOS Aura Mission
241
Foreword to the special issue on the retrieval of bio- and geophysical parameters from sar data for land applications
242
Foreword to the Special Issue on the Retrieval of Bio- and Geophysical Parameters from SAR Data for Land Applications
243
Foreword to the Special Issue on the Soil Moisture and Ocean Salinity (SMOS) Mission
244
Foreword to the Special Issue on the WindSat Spaceborne Polarimetric Radiometer—Calibration/Validation and Wind Vector Retrieval
245
Foreword to the special issue on tunable solid-state lasers
246
Foreword to the Special Issue on Unmanned Airborne Vehicle (UAV) Sensing Systems for Earth Observations
247
Foreword to the special issue on urban remote sensing by satellite
248
Foreword to the Special Section of the Asian Green Electronics Conference (AGEC)
249
Foreword to the Special Section on “Design for Reliability and Yield for Ultimate CMOS Technologies”
250
Foreword to the special section on compressive sensing applied to radar
251
Foreword to the Special Section on Computing With Words
252
Foreword to the Special Section on Granular Computing
253
Foreword to the Special Section on the 2007 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication
254
Foreword to the Special Section on the IST 2006 IEEE International Workshop on Imaging Systems and Techniques
255
Foreword to the Special Section on the VII International Seminar on Electrical Metrology (VII-SEMETRO)
256
Foreword to Transistor Papers [Guest Editors´ Introduction]
257
Foreword to ULIS 2013
258
Foreword to volume two
259
Foreword to WOSSPA2013 proceedings
260
Foreword Topical Special Issue on the Electrical Performance of Packages and Interconnects
261
Foreword Twentieth Anniversary of the IEEE Transactions on Power Electronics
262
Foreword unabated advancements in circuitry
263
Foreword VL/HCC 2015
264
Foreword VLSI comes of age
265
Foreword Volume XIII
266
Foreword Wafer Level Packaging: More of Many
267
Foreword Wafer-Level Packaging
268
Foreword Wafer-Level Packaging: Interconnects for Enhanced Reliability
269
FOREWORD welcome to the 2011 Symposium on VLSI Technology
270
Foreword What is AI? And What Does It Have to Do with Software Engineering?
271
Foreword—liable and Fault-Tolerant Computing
272
Foreword, 1969 G-MTT International Microwave Symposium
273
Foreword, 1970 G-MTT International Microwave Symposium
274
Foreword, 1976 IEEE MTT-S International Microwave Symposium
275
Foreword, 1979 IEEE MTT-S International Microwave Symposium
276
Foreword, Apr. 1975
277
Foreword, Apr. 1977
278
Foreword, IEEE MTT-S 1980 International Microwave Symposium
279
Foreword, Jun. 1974
280
Foreword, Jun. 1976
281
Foreword, May 1963 PTGMTT National Symposium
282
Foreword, May 1979
283
Foreword, May 1980
284
Foreword, Nov. 1973
285
Foreword, Nov. 1976
286
Foreword, Oct. 1978
287
Foreword, Sep. 1981
288
Foreword: 2nd Workshop requirements@run.time
289
Foreword: 60 Years of (Em)Powering the Future
290
Foreword: a message from the RTSD cochairs
291
Foreword: Design of materials for electronic applications
292
Foreword: Electrical overstress/electrostatic discharge
293
Foreword: Esbjerg - Gateway to Scandinavia
294
Foreword: Fiber Optic Systems
295
Foreword: First International Workshop on the Web and Requirements Engineering
296
Foreword: First Workshop requirements@run.time
297
Foreword: Geophysical Data Processing: A Brief Survey
298
Foreword: ICT Process Improvement and Assessment
299
Foreword: ICT verification and validation
300
Foreword: Introduction and Issue Overview
301
Foreword: Joint Special Issue on Charge-Transfer Devices
302
Foreword: Linear Integrated Circuits
303
Foreword: Logic
304
Foreword: Message From the Conference Chairman
305
Foreword: message from the general chairman
306
Foreword: Microelectronics system integration
307
Foreword: Millimeter Wave Communications Systems
308
Foreword: Minis, Maxis, and Meteorology
309
Foreword: Quality in agile methods
310
Foreword: Quality in cloud computing
311
Foreword: Quality in ICT Evolution
312
Foreword: Quality in ICT Requirements Engineering
313
Foreword: Quality in ICT service management
314
Foreword: Quality in model driven engineering
315
Foreword: Quality in web and mobile engineering
316
Foreword: SEDES 2012 - Fourth Portuguese Software Engineering Doctoral Symposium
317
Foreword: Semiconductor Memories
318
Foreword: Silicon systems — Small chips for big data
319
Foreword: Silicon systems bridging the cloud
320
Foreword: Solid-State Microwave Circuits
321
Foreword: special issue on "recent advances in EMC of printed circuit boards"
322
Foreword: Special issue on analog circuits
323
Foreword: Special Issue on Analog Circuits
324
Foreword: Special Issue on Analog Circuits
325
Foreword: Special Issue on Analog Circuits
326
Foreword: Special Issue on Contacts
327
Foreword: Special Issue on Contacts
328
Foreword: Special Issue on Electrical Contacts
329
Foreword: Special Issue on Electrical Contacts
330
Foreword: Special Issue on Electrical Contacts
331
Foreword: Special Issue on Hybrid Microelectronics
332
Foreword: Special Issue on Hybrid Microelectronics
333
Foreword: Special Issue on Hybrid Microelectronics
334
Foreword: Special Issue on Hybrid Microelectronics
335
Foreword: Special Issue on Integrated Injection Logic
336
Foreword: Special Issue on Materials
337
Foreword: Special Issue on Microwave Acoustic Signal Processing
338
Foreword: Special Issue on Microwave Circuits
339
Foreword: Special Issue on Microwave Circuits
340
Foreword: Special Issue on Semiconductor Materials and Processing Technology
341
Foreword: Special Issue on Semiconductor Memories and Digital Circuits
342
Foreword: Special Issue on Semiconductor Memory and Logic
343
Foreword: Special Issue on Semiconductor Memory and Logic
344
Foreword: Special Issue on Technology and Processing for Integrated Circuits
345
Foreword: Special Issue on the Eighth European Solid-State Circuits Conference
346
Foreword: Special Issue on the First European Solid-State Circuits Conference (ESSCIRC)
347
Foreword: Special Issue on the Fourth European Solid-State Circuits Conference (ESSCIRC)
348
Foreword: Special Issue on the Ninth European Solid-State Circuits Conference
349
Foreword: Special Issue on the Seventh European Solid-State Circuits Conference
350
Foreword: Special Issue on the Sixth European Solid-State Circuits Conference
351
Foreword: Special Section on “Macromodeling and Variability Analysis for Signal and Power Integrity”
352
Foreword: Special Section on Adequacy in Power Systems With Intermittent Sources
353
Foreword: Special Section on Packaging
354
Foreword: Special Section on RF, 3-D-ICs and Interconnects
355
Foreword: Special section on soft electronics
356
Foreword: Special Section on Stability and Control of Electric Energy Systems With an Increasing Level of Non-Dispatchable Generating Sources
357
Foreword: Special Section on Tin Whiskers
358
Foreword: The RSRE civil satcoms programme
359
Foreword: Third international workshop on managing requirements knowledge (MaRK´10) september 27th 2010, Sydney, Australia
360
Foreword: Towards Reference Architectures for Systems-of-Systems
361
Foreword: Voice by the Packet?
362
Foreword: Welcome from the general chair and the program co-chairs
363
Foreword: Welcome to Karuizawa, Japan for the Seventh Symposium on VLSI Technology
364
Foreword: Welcome to Kobe for the Fifth Symposium on VLSI Technology
365
Foreword: Welcome to San Diego for the Sixth Symposium on VLSI Technology
366
Foreword: Welcome to the 1981 Symposium on VLSI Technology at Maui
367
Foreword: Welcome to the 1982 Symposium on VLSI Technology at Oiso
368
Foreword: Welcome to the 2013 Symposium on VLSI Circuits
369
Foreword: Welcome to the 2013 symposium on VLSI technology
370
Foreword: Welcome to the 2014 Symposium on VLSI Circuits
371
Foreword: Welcome to the Fourth Symposium on VLSI Technology in San Diego
372
Foreword: Welcome to the Third Symposium on VLSI Technology at Maui
373
Foreword: Wide-Band Local Access
374
Forewords
375
Forewords
376
Forewords
377
Forewords
378
Forewords
379
Forewords by Celebrities
380
Foreword-Thoughts on Assuming the Editorship
381
Forex Prediction Based on SVR Optimized by Artificial Fish Swarm Algorithm
382
For-fee hot spots strive to make Wi-Fi pay
383
FORGE 90: a parallel programming environment
384
FORGE: a framework for optimization of distributed embedded systems software
385
FORGE: enhancing elearning and research in ICT through remote experimentation
386
FORGE: Enhancing eLearning and research in ICT through remote experimentation
387
Forge++: The Changing Landscape of FLOSS Development
388
Forged bevel gears expert manufacturing system
389
Forgery and tamper-proof identification document
390
Forgery Attack on a Signature Scheme with Message Recovery
391
Forgery attack on the RPC incremental unforgeable encryption scheme
392
Forgery Attack on Two ID-Based Proxy Signature Schemes from Bilinear Pairings
393
Forgery attacks on "Multisignature schemes for authenticating mobile code delegates"
394
Forgery attacks on digital signature schemes without using one-way hash and message redundancy
395
Forgery Attacks on Lee-Chang´s Strong Designated Verifier Signature Scheme
396
Forgery Attacks on Two Pairing-Based Proxy Signature Schemes
397
Forgery Authentication in Extreme Wide-Angle Lens Using Distortion Cue and Fake Saliency Map
398
Forgery Detection Based on Intrinsic Document Contents
399
Forgery detection in digital images using Self Organizing Map
400
Forgery detection using statistical features
401
Forgery Quality and Its Implications for Behavioral Biometric Security
402
Forgery-location highway monitoring system based on video watermarking
403
Forget Algebraic Notation?
404
Forget the battery, let´s play games!
405
Forget the Deadline: Scheduling Interactive Applications in Data Centers
406
Forget the Fluff: Examining How Media Richness Influences the Impact of Information Security Training on Secure Behavior
407
Forget the funny glasses [autostereoscopic display systems]
408
Forget the recession, watch the boom
409
Forgetful logic circuits for pulse-mode neural networks
410
Forgetful or bad memory?
411
Forget-me-not beacons [Resources_Hands on]
412
Forget-Me-Not-controlling intercompany operations by intelligent electronic mail
413
Forgetting bad behavior: memory for case-based navigation
414
Forgetting data intelligently in data warehouses
415
Forgetting factor selection in RLS decision-directed tracking of doubly-selective channels
416
Forgetting in Managing Rules and Ontologies
417
Forgetting in R&D activities: The depreciation of knowledge stocks in biotechnology research
418
Forgetting least squares estimation FIR filters without noise covariance information
419
Forgetting Test Cases
420
Forging a Close Relationship with Multimedia Communities
421
Forging a firm future
422
Forging a future in memory: New technologies, new markets, new applications
423
Forging a new chain
424
Forging a new simulation technology at the ICT
425
Forging ahead in control
426
Forging ahead!
427
Forging an outsourcing partnership that works
428
Forging failure facts
429
Forging FDDI
430
Forging high-quality User Stories: Towards a discipline for Agile Requirements
431
Forging simulation of Aluminum Alloy wheels
432
Forging the Smart Grid: From theory to practice
433
Forging Tighter Connections Between Design and Manufacturing in the Nanometer Age
434
Forging Win-Win Partnerships between Academia and Industry
435
Forging-dedicated CAD: how getting forging preform by using trade knowledge and feature reorganization.
436
Forging---fighting back
437
Forgings for aircraft engines
438
Forgings for the automobile industry
439
Forgive Your Failures: How the Customer-Organization Relationship Benefits for the Service Recovery?
440
Forgiveness effect in subjective assessment of packet video
441
Forgot your password: Correlation dilution
442
Forgotten beginnings
443
Forgotten effects in the comparative economic analysis for Spain and Russia in conditions of globalization
444
Forgotten roots
445
Forinjector VEPP-5 klystron gallery control system
446
FORISK: Formalizing information security risk and compliance management
447
Fork in the road for Moore´s law
448
Fork lift overturns and head injury
449
Fork lifts---sins or saviours?
450
Fork shaped antenna for Bluetooth application
451
Fork-Coupled Resonators for High-Frequency Characterization of Dielectric Substrate Materials
452
Forked and integrated variants in an open-source firmware project
453
Forked stepped impedance resonator bandpass filter with harmonic suppression
454
Forked! A demonstration of physics realism in augmented reality
455
Forking out¿?
456
Forking, leadership control and social capital in open innovation
457
Fork-lift truck simulator for training in industrial environment
458
Forklift Trucks as Mobile Radio Frequency Identification Antenna Gates in Material Flow
459
Forklifts under fire
460
Fork-like shaped monopole antenna with defected parasitic elements and ring slots
461
Fork-shaped RFID tag antenna mountable on metallic surfaces
462
ForkSim: Generating software forks for evaluating cross-project similarity analysis tools
463
Form an orderly line
464
Form analysis and understanding based on knowledge
465
Form and Applicability of a New Urban Sewage Source Heat Pump System with Freezing Latent Heat Collection
466
Form and capacitance of parallel-plate capacitors
467
Form and content in the electronic age
468
Form and Efficiency of Incandescent Filaments
469
Form and fit of an international business alliance
470
Form and function
471
Form and functions-fractal-based image compression
472
Form and texture: measuring curved surfaces in one go
473
Form based Structured Mobile Messaging Framework for Mobilizing Business Applications
474
Form birefringence and third-harmonic generation in nanostructured silicon oxide
475
Form birefringence of fiber Bragg gratings due to exposure anisotropy
476
Form birefringence phase matching in multilayer semiconductor waveguides: tuning and tolerances
477
Form Construction and Its Application in Project Teaching
478
Form design development study on autistic counting skill learning application
479
Form design for high accuracy optical character recognition
480
Form design of CNC machine tools using SVM-Kansei engineering model
481
Form design of home service robot based on Kansei Engineering
482
Form Distribution and Transformation of Pb in Composting of Pb-Polluted Lignocellulosic Waste with White-Rot Fungi
483
Form document identification using line structure based features
484
Form document identification using line structure based features
485
Form driven web source integration
486
Form dropout using distance transformation
487
Form factor improvement of smart-pixels for vision sensors through 3-D vertically-integrated technologies
488
Form factor method yields thermal conductivity and radiated power of nitrogen arc
489
Form factors for mobile computing and device symbiosis
490
Form feature based generation of robot assembly paths for product variants
491
Form features for concurrent engineering
492
Form Field Frame Boundary Removal for Form Processing System in Gurmukhi Script
493
Form finding algorithm inspired by ant’s foraging behavior
494
Form Follows Function—the evolvement of the tea set
495
Form Follows Function: A Pragmatic Approach to Access-To-Space for Space Technology Experiments
496
Form Follows Function: Designing Smart Grid Communication Systems Using a Framework Approach
497
Form follows web function [Book Review]
498
Form frame line detection with directional single-connected chain
499
Form from function: a vector field based approach to the analysis of CT images of the vascular tree
500
Form identification based on cell structure
501
Form identifiction and skew detection from projections
502
Form Invariance of Maxwell´s Equations: The Pathway to Novel Metamaterial Specifications for Electromagnetic Reshaping
503
Form management in the Vicomte workflow system
504
Form measurement of thin cylinders using three-wavelength interferometry
505
Form of address
506
Form of circle diagram for the linear induction motor
507
Form of Doppler processing for radars of random p.r.i. and r.f.
508
Form of field in small-offset longitudinal slot in broad wall of rectangular waveguide
509
Form of gymnasium impacts on natural ventilation and thermal comfort
510
Form optimization of the UWB pulses in radar technology for accuracy increasing of angular measurements
511
Form parameters definition of optical fibers welded connection
512
Form processing based on background region analysis
513
Form reading based on form-type identification and form-data recognition
514
Form recognition for Johann Strauss´s waltz centos based on music features
515
Form registration: a computer vision approach
516
Form specifies function: robust spike-based computation in analog VLSI without precise synaptic weights
517
Form VA [advertisement]
518
Form wound coils for severe environments
519
Form wound stator insulation system under different voltage waveform stresses
520
Form, the missing piece in effective real-time system specification and simulation
521
Form/formula: a visual programming paradigm for user-definable user interfaces
522
FORM: a formal object-oriented requirements model based upon conceptual graphs
523
FORM: a frame-oriented representation method for digital telecommunication system design
524
Form: a framework for creating views of program executions
525
Forma Analysis of Permutation Random Keys
526
Formability analysis and optimization of the braking cylinder block for one drawing step
527
Formability analysis of Fiber Metal Laminates using rubber sheet and forming techniques
528
Formability enhancement for tailor-welded blank using variable blank-holder force control
529
Formable object — A new haptic interface for shape rendering
530
Formadelyde-sensing properties of reduced graphene oxide by layer-by-layer self-assemble method
531
Formal abstract architecture for use case specifications
532
Formal Abstraction and Compatibility Checking of Web Services
533
Formal Abstraction of Semantics for Detecting Malicious Code
534
Formal academic qualifications
535
Formal Agent-Based Modelling and Simulation of Crowd Behaviour in Emergency Evacuation Plans
536
Formal analogy between anomalous dispersive transport and dispersion in polarization processes. A physical interpretation of the Cole and Cole formula
537
Formal Analyses of Usage Control Policies
538
Formal analysis and algorithms for extracting coordinate systems of games
539
Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements
540
Formal analysis and improvement of IKEv2 protocol
541
Formal Analysis and Improvement of iKP Protocol
542
Formal Analysis and Improvement of Multi-Party Non-Repudiation Protocol
543
Formal Analysis and Improvement of Two-Factor Authenticated Key Exchange Protocol
544
Formal Analysis and Improvement of ZG Non-repudiation Protocol
545
Formal Analysis and Synthesis of Bilateral Switching Networks
546
Formal analysis and validation of continuous-time Markov chain based system level power management strategies
547
Formal Analysis and Verification of a Multimedia Messaging Service Protocol
548
Formal Analysis and Verification of an OFDM Modem Design using HOL
549
Formal analysis and verification on a secure microkernel
550
Formal analysis approach on networks with dynamic behaviours
551
Formal Analysis for Cryptographic Protocols on a Trace Semantics
552
Formal Analysis for Debugging and Performance Optimization of MPI
553
Formal analysis for dependability properties: the time-triggered architecture example
554
Formal Analysis for Discrete Optimisation Problems Based on Model Checker SPIN
555
Formal analysis for logical models of pancreatic cancer
556
Formal Analysis for Multimedia Conferencing Communication Services Orchestration
557
Formal Analysis for Network Security Properties on a Trace Semantics
558
Formal analysis for practical gain sequence selection in recursive stochastic approximation algorithms
559
Formal analysis for real-time scheduling
560
Formal Analysis for Security of Otway-Rees Protocol with BAN Logic
561
Formal Analysis for Stateflow Diagrams
562
Formal Analysis Method of Internetware Evolution
563
Formal analysis model of security protocol based on PCL
564
Formal Analysis of a Distributed Fault Tolerant Clock Synchronization Algorithm for Automotive Communication Systems
565
Formal analysis of a fault tolerant GNC system architecture
566
Formal analysis of a non-repudiation protocol
567
Formal Analysis of a Response Mechanism for TCG TOCTOU Attacks
568
Formal Analysis of a Single Sign-On Protocol Implementation for Android
569
Formal analysis of a space-craft controller using SPIN
570
Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme
571
Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification
572
Formal analysis of a ZigBee-based routing protocol for smart grids using UPPAAL
573
Formal Analysis of Access Control Policies for Pattern-Based Business Processes
574
Formal analysis of air traffic management systems: the case of conflict resolution and recovery
575
Formal analysis of an anonymous fair exchange e-commerce protocol
576
Formal analysis of an online stock trading system by temporal Petri nets
577
Formal Analysis of Android Application Behavior with Real-Time Maude
578
Formal analysis of anonymity based on strand space model
579
Formal Analysis of AODV Using Rely-Guarantee
580
Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph
581
Formal analysis of attacks for e-voting system
582
Formal Analysis of Behavioural Equivalence for Trustworthy and Composite Web Services
583
Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking
584
Formal analysis of compatibility of Web services via CCS
585
Formal analysis of cross-validation based on decremental sampling scheme
586
Formal analysis of cross-validation for rule induction using probabilistic indices
587
Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol
588
Formal analysis of departure procedure of air traffic control system
589
Formal Analysis of Device-Delay Error in User-Device Interaction under Uncertainty
590
Formal analysis of diagnostic notions
591
Formal Analysis of Discrete-Time Piecewise Affine Systems
592
Formal analysis of e-commerce protocols
593
Formal analysis of electronic exams
594
Formal analysis of electronic payment protocols based on game theory
595
Formal Analysis of End-Around-Carry Adder in Floating-Point Unit
596
Formal analysis of existing control software in cyclic closed production line
597
Formal Analysis of Fault Recovery in Self-Organizing Systems
598
Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper
599
Formal analysis of fractional order systems in HOL
600
Formal Analysis of GM Multi-party Contract Signing Protocol
601
Formal analysis of hardware requirements
602
Formal analysis of human-computer interaction using model-checking
603
Formal analysis of improved EAP-AKA based on Protocol Composition Logic
604
Formal Analysis of ISO/IEC 9798-2 Authentication Standard Using AVISPA
605
Formal analysis of leave-one out method based on decremental sampling scheme
606
Formal Analysis of Leave-One-Out Methods Based on Decremental Sampling Scheme
607
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking
608
Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection
609
Formal Analysis of Mobile Payment Protocol KSL Based on SSM
610
Formal analysis of multi-party contract signing
611
Formal Analysis Of Multi-party Non-repudiation Protocols Without TTP
612
Formal Analysis of OTag Protocol on Authentication and Confidentiality
613
Formal Analysis of OWL-S Process Model by FDR
614
Formal Analysis of PANA Authentication and Authorisation Protocol
615
Formal analysis of parallel landing scenarios
616
Formal Analysis of Passive Measurement Inference Techniques
617
Formal analysis of persuasive mHealth apps
618
Formal Analysis of Pervasive Computing Systems
619
Formal analysis of piecewise affine systems through formula-guided refinement
620
Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks
621
Formal Analysis of PKCS#11
622
Formal analysis of PKM using scyther tool
623
Formal analysis of policies in wireless sensor network applications
624
Formal analysis of privacy requirements specifications for multi-tier applications
625
Formal analysis of product variability and the effects on assembly operations
626
Formal Analysis of Protocols Based on TPM State Registers
627
Formal analysis of pure-join model of chord using alloy
628
Formal Analysis of Quasi Delay Insensitive Circuits Behavior in the Presence of SEUs
629
Formal analysis of real-time equational rule-based systems
630
Formal Analysis of Secure Device Pairing Protocols
631
Formal Analysis of Secure Neighbor Discovery in Wireless Networks
632
Formal analysis of secure routing protocol for ad hoc networks
633
Formal Analysis of Security Metrics with Defensive Actions
634
Formal Analysis of Sensor Network Encryption Protocol (SNEP)
635
Formal analysis of SEP protocol using the interpretation function-based method
636
Formal Analysis of Services Compatibility
637
Formal Analysis of SET Registration Protocol Based on Strand Space
638
Formal analysis of single WAIT VHDL processes for semantic based synthesis
639
Formal analysis of software security system architectures
640
Formal analysis of sporadic bursts in real-time systems
641
Formal analysis of sporadic overload in real-time systems
642
Formal analysis of stage suspended boom systems with Extended Duration Calculus
643
Formal Analysis of Statistical Dependence Based Homological Algebra
644
Formal analysis of steady state errors in feedback control systems using HOL-light
645
Formal analysis of STM design with SAL infinite bounded model checker
646
Formal analysis of the alternating bit protocol by temporal Petri nets
647
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking
648
Formal analysis of the handover schemes in mobile WiMAX networks
649
Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking
650
Formal analysis of the priority ceiling protocol
651
Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing
652
Formal analysis of the startup delay of SOME/IP service discovery
653
Formal Analysis of the VPN Service Management System
654
Formal analysis of timed continuous Petri nets
655
Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude
656
Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software
657
Formal Analysis of Trust Chain
658
Formal Analysis of Trusted Computing: One Case Study
659
Formal Analysis of Trusted FPGA Firmware
660
Formal analysis of waiting times for distributed real-time processes
661
Formal and architectural competitive factors in industrial informatics
662
Formal and Compositional Analysis of Power Systems Using Reachable Sets
663
Formal and conceptual definitions of the hybrid model of distributed computings in networks
664
Formal and de facto standards and guidelines for personal health records (PHRs)
665
Formal and ethical aspects of security in public spaces
666
Formal and informal approaches for validation
667
Formal and Informal IS Control Mechanisms in Multinational Corporations: A Test of Resource Dependence Theory
668
Formal and informal learning: Bridging the gap via Mobile App Technology (MAT)
669
Formal and informal roles in complex product development
670
Formal and informal software engineering approaches and tools. Software engineering education at Delft University: a formatic approach
671
Formal and Model-Based Testing of Concurrent Workflows
672
Formal and operational validation of a bus stop public transport network micro simulation
673
Formal and practical completion of Lagrangian hybrid systems
674
Formal and use-case driven requirement analysis in UML
675
Formal application of dummy parameters in a soft computing-based control of mechanical devices
676
Formal approach for compliance rules checking in business process models
677
Formal Approach for DVS-Based Power Management for Multiple Server System in Presence of Server Failure and Repair
678
Formal approach for handling software evolution in component-based software developments
679
Formal approach for managing firewall misconfigurations
680
Formal Approach for Performance Analysis Oriented Parallel System Design
681
Formal Approach for the Development of Business Processes in Terms of Service-Oriented Architectures Using Pi-ADL
682
Formal approach of chance discovery theory for agents´ interaction
683
Formal Approach of FMS Cyclic Scheduling
684
Formal approach of fms cyclic scheduling
685
Formal approach to compute hybrid automata models for linear physical systems with switches
686
Formal approach to development of critical computer applications
687
Formal Approach to Multimodal Control Design: Application to Mode Switching
688
Formal approach to reusable formal specifications
689
Formal approach to scenario analysis
690
Formal approach to specification and verification of task management in interactive systems
691
Formal approach to synthesis of a test controller
692
Formal Approach to the Deployment of Distributed Robotic Teams
693
Formal Approach Use to Choose a Software Manufactoring Cell´s SDLC
694
Formal approaches in the age of mirror neurons: Hints from computational psychoanalysis
695
Formal approaches to analog circuit verification
696
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources
697
Formal approaches to intelligent swarms
698
Formal Approaches to Mode Conversion and Positioning for Vehicle System
699
Formal approaches to requirements engineering: from behavior trees to alloy
700
Formal approaches to SEU testing in FPGAs
701
Formal Approaches to SMS Service Based on Pi Calculus
702
Formal approaches to software testing
703
Formal Approaches to Wireless Sensor Networks
704
Formal Architectural Analysis of Complex Computer Systems
705
Formal architecture modeling of business application- software maintenance case study
706
Formal Architecture Transformation Using Heuristics
707
Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets
708
Formal aspects of a generic model of trust for electronic commerce
709
Formal Aspects of Enterprise Modeling Methods: A Comparison Framework
710
Formal aspects of fuzzy logic-approaches to multiobjective control
711
Formal Aspects of Serializability in Database Concurrency Control
712
Formal Aspects of Specification and Validation of Dynamic Adaptive System by Analyzing Execution Traces
713
Formal Assurance Arguments: A Solution in Search of a Problem?
714
Formal augmented Newtonian projection methods for continuous-time optimal control problems
715
Formal authorization allocation approaches for role-based access control based on relational algebra operations
716
Formal automated transformation of SDL specifications to Lotos specifications
717
Formal automatic verification of authentication cryptographic protocols
718
Formal automatic verification of cache coherence in multiprocessors with relaxed memory models
719
Formal automatic verification of security protocols
720
Formal based operation strategy design for collaborative shared teleoperation system
721
Formal basis for algorithm comparisons in stochastic optimization
722
Formal behavior specification for AADL
723
Formal Behavioral Modeling for Verifying SCA Composition with Event-B
724
Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications
725
Formal Boolean manipulations for the verification of sequential machines
726
Formal Boundary Spanning and Informal Boundary Spanning in Cross-Border Knowledge Sharing: A Case Study
727
Formal callability and its relevance and application to interprocedural data-flow analysis
728
Formal Certification and Compliance for Run-Time Service Environments
729
Formal Certification of Non-interferent Android Bytecode (DEX Bytecode)
730
Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover
731
Formal characterization and automated analysis of known-pair and chosen-text attacks
732
Formal Characterization of Illegal Control Flow in Android System
733
Formal checking of properties in complex systems using abstractions
734
Formal checking of WS-BPEL orchestrations
735
Formal chip design-a functional approach
736
Formal Cognitive Resource Model: Modeling of human behavior in complex work environments
737
Formal communication semantics of SystemCFL
738
Formal comparisons of program modification
739
Formal compliance verification of interface protocols
740
Formal concept analysis and document clustering via granular computing
741
Formal concept analysis and hierarchical classes analysis
742
Formal concept analysis approach for comparison between Mutagenicity and Carcinogenicity in Cheminformatics
743
Formal concept analysis based on hierarchical class analysis
744
Formal concept analysis based ontology merging method
745
Formal concept analysis based web pages classification/visualization and their application to information retrieval
746
Formal Concept Analysis for Data Mining: Theoretical and Practical Approaches
747
Formal Concept Analysis for Digital Ecosystem
748
Formal concept analysis for mining hypermethylated genes in breast cancer tumor subtypes
749
Formal concept analysis for ontologies and their annotation files
750
Formal concept analysis for system awareness of operators
751
Formal concept analysis in intuitionistic fuzzy formal context
752
Formal concept analysis in relational contexts
753
Formal concept analysis in software engineering
754
Formal concept analysis of incomplete information system
755
Formal concept analysis on fuzzy sets
756
Formal concept analysis over attributes with levels of granularity
757
Formal concept analysis support for web document clustering based on social tagging
758
Formal Concept Analysis With Background Knowledge: Attribute Priorities
759
Formal concept analysis with many-sorted attributes
760
Formal Concepts and Maximal Compatibility Blocks
761
Formal concepts and methods fostering creative thinking in digital game design
762
Formal consistency checking over specifications in natural languages
763
Formal construction of provably secure systems with Cartesiana
764
Formal construction of the Mathematically Analyzed Separation Kernel
765
Formal contexts in ontologies
766
Formal control techniques for power-performance management
767
Formal convergence analysis for bio-inspired topology control in MANETs
768
Formal conversion between information and intelligence
769
Formal Correctness of a Passive Testing Approach for Timed Systems
770
Formal correctness, safety, dependability, and performance analysis of a satellite
771
Formal co-validation of low-level hardware/software interfaces
772
Formal coverification of embedded systems using model checking
773
Formal co-verification of local interconnect network master node
774
Formal co-verification of pipelined datapaths
775
Formal Credit Rationing and Productivity in Chinese Agriculture
776
Formal criteria for the design of perceptually animate intelligent kinetic structures
777
Formal cryptanalysis of a CRC-based RFID authentication protocol
778
Formal data analysis of timed finite state systems
779
Formal datapath representation and manipulation for implementing DSP transforms
780
Formal deadlock checking on high-level SystemC designs
781
Formal Deadlock Verification for Click Circuits
782
Formal Decision Analysis As A Tool For Correcting Cognitive Errors In Medical Reasoning
783
Formal Definition of an Agent-Object Programming Language
784
Formal definition of single throw mechanical equipment for fault diagnosis
785
Formal definition of SIP end systems behavior
786
Formal definition of SIP proxy behavior
787
Formal Definitions for Trust in Trusted Computing
788
Formal definitions of behavioural compatibility for active and passive objects
789
Formal definitions of edge-based geometric design rules
790
Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool
791
Formal Depiction of Composition of Web Services Based on CCS and Modal Mu-Calculus
792
Formal Derivation and Implementation for the Stone-Merger Algorithm
793
Formal Derivation of a Generic Algorithmic Program for Solving a Class of Extremum Problems
794
Formal derivation of a systolic array for recursive least squares estimation
795
Formal derivation of an efficient parallel 2-D Gauss-Seidel method
796
Formal derivation of concurrent programs: an example from industry
797
Formal Derivation of Direct Torque Control for Induction Machines
798
Formal Derivation of Direct Torque Control for Induction Motors using the Singular Perturbation Method
799
Formal derivation of functional architectural design
800
Formal derivation of hardware
801
Formal derivation of multilayered hardware/software structures
802
Formal derivation of optimal active shielding for low-power on-chip buses
803
Formal derivation of optimal active shielding for low-power on-chip buses
804
Formal derivation of rule-based programs
805
Formal derivation of systolic arrays-a case study
806
Formal Derivation of the Interlaced Arrange Scheme Number Combinatorics Problem with PAR Method
807
Formal Derivation of the Knapsack Problem with PAR Method
808
Formal Derivation of the Longest Common Subsequence Problem with PAR Method
809
Formal Derivation of the Maximal Contiguous Subsequence Sum Problem with PAR Method
810
Formal Derivation of the Second Kind Stirling Numbers with PAR Method
811
Formal Derivation of the String Scheme Number Combinatorics Problem with PAR Method
812
Formal Derivation of Traveling Salesman Problem
813
Formal Derivation of Two Algorithms Involving Sequences
814
Formal Description and Complexity Analysis of Routing in Mobile Ad Hoc System
815
Formal description and language of MEMS design
816
Formal Description and Optimization Based High - Performance Computing on CUDA
817
Formal description and validation for an integrity policy supporting multiple levels of criticality
818
Formal description and verification of knowledge base redundancy and subsumption
819
Formal Description and Verification of Security Filtered Rules
820
Formal Description for Trusted Application Environment
821
Formal description of a generic graph model with RTPA
822
Formal Description of a Generic Multi-Model
823
Formal description of a mobile data link protocol using Estelle
824
Formal description of a real-time operating system using RTPA
825
Formal description of a real-time process dispatcher
826
Formal description of an approach for power consumption estimation of embedded systems
827
Formal description of an ATM system by RTPA
828
Formal description of an IEC 61499 runtime environment with real-time constraints
829
Formal description of auditory scenes
830
Formal Description of Component Services
831
Formal description of computational structure in aids
832
Formal description of data conversion algorithms for automatic synthesis
833
Formal description of ellipses in Arabic language and resolution process
834
Formal Description of Inductive Air Interfaces Using Thévenin´s Theorem and Numerical Analysis
835
Formal Description of Network Protocols Using RAISE Specification Language
836
Formal description of real-time systems using SDL
837
Formal description of test specification and ATE architecture for mixed-signal test
838
Formal description of the ADT model of B-Trees
839
Formal description of the ADT model of files using RTPA
840
Formal description of the cognitive comprehension process
841
Formal description of the cognitive process of decision making
842
Formal description of the cognitive process of problem solving
843
Formal description of the functional behavior of RSFQ logic circuits for design and optimization purposes
844
Formal Description of the Mechanisms and Cognitive Process of Memorization
845
Formal Description of Time Management in Real-Time Operating Systems
846
Formal Description of Variability in Product Families
847
Formal description of virtual resources
848
Formal Description of Workflow Patterns Based on Pi-Calculus
849
Formal description techniques
850
Formal description techniques for distributed computing systems, the challenges for the 1990s
851
Formal description techniques in robot programming
852
Formal Descriptions of a Set of Meta Cognitive Processes of the Brain
853
Formal Descriptions of Real Parameter Optimisation
854
Formal descriptions of user interfaces
855
Formal descriptions, semantics and verification of VLSI array processors
856
Formal Descriptive Mechanism of the Ontology Language RDF
857
Formal design and analysis of FMS controller
858
Formal design and analysis of FMS controller
859
Formal design and performance evaluation of parallel and distributed software systems
860
Formal design and testing of MIL-STD 188-220A based on Estelle
861
Formal Design and Verification of Dynamic Caching for Automatic Playout System
862
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools
863
Formal design and verification of on chip networking
864
Formal Design and Verification of Zone Controller
865
Formal Design Methods for Reliable Computer-Aided Diagnosis: A Review
866
Formal design of a model repository based on knowledge representation using graphs
867
Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams
868
Formal design of a provably safe robotic roundabout system
869
Formal Design of a Slow-Down Component for Almost Synchronous Streams
870
Formal design of a telecommunications networks management system
871
Formal Design of Ambient Intelligence Applications
872
Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra
873
Formal design of communication checkers for ICCP using UPPAAL
874
Formal design of communication protocols
875
Formal Design of Decimal Arithmetic Circuits Using Arithmetic Description Language
876
Formal Design of Galois-Field Arithmetic Circuits Based on Polynomial Ring Representation
877
Formal Design of Multiple-Valued Arithmetic Algorithms over Galois Fields and Its Application to Cryptographic Processor
878
Formal design of public transport stations owing to hybrid event graphs (HEG)
879
Formal design of real-time components on a shared data space architecture
880
Formal design of RNS processors
881
Formal Design of Teleteaching Interactivity
882
Formal design optimization of PM drive couplings
883
Formal design procedures for pass transistor switching circuits
884
Formal design techniques in the implementation of concurrency
885
Formal design techniques-theory and engineering reality
886
Formal design verification for correctness of pipelined microprocessors with out-of-order instruction execution
887
Formal Design Verification of Digital Systems
888
Formal Detection of Attentional Tunneling in Human Operator–Automation Interactions
889
Formal developing of security bootstrap on TPM
890
Formal development and convergence analysis of the parallel adaptive mixed transform algorithm
891
Formal development and validation of Java dependable distributed systems
892
Formal development and verification of a distributed railway control system
893
Formal development method of control systems using the event-based B approach Case study : A parcel sorting device
894
Formal Development of a Complex Information System
895
Formal development of a real-time kernel
896
Formal Development of a Real-Time Operating System Memory Manager
897
Formal development of a reconfigurable tool for parallel DNA matching
898
Formal development of an embedded verifier for Java Card byte code
899
Formal Development of Critical Multi-agent Systems: A Refinement Approach
900
Formal development of Java based Web parallel applications
901
Formal Development of Non-recursive Algorithm for Koch Curve
902
Formal Development of Non-recursive Algorithm for L-system Based Koch Curve
903
Formal development of real-time priority-based schedulers
904
Formal development of remote interfaces for large-scale real-time systems
905
Formal development of secure email
906
Formal development of software for tolerating transient faults
907
Formal development of static program analysers
908
Formal development of universal protocol implementations conformance statement proforma
909
Formal Digital Investigation of Anti-forensic Attacks
910
Formal digital license language with OTS/CafeOBJ method
911
Formal Discussion on Relationship between Virtualization and Cloud Computing
912
Formal Distributed Port-Hamiltonian Representation of Field Equations
913
Formal education: World survey of schools: Number and type of degrees awarded, curricular composition for first EE degree, and a breakdown of curricular activities are tabulated
914
Formal Embedded Operating System Model Based on Resource-Based Design Framework
915
Formal embedding of the Spring Loaded Inverted Pendulum in an Asymmetric hopper
916
Formal Equivalence and Efficiency Comparison of the FD-TD, TLM and SN Methods in Application to Microwave CAD Programs
917
Formal equivalence checking between high-level and RTL hardware designs
918
Formal equivalence checking between SLM and RTL descriptions
919
Formal error analysis and verification of a frequency domain equalizer
920
Formal Estimation of Worst-Case Communication Latency in a Network-on-Chip
921
Formal evaluation and comparison of real time embedded automotive networks
922
Formal Evaluation of an Instructional ODL Tool
923
Formal Evaluation of Major Authentication Methods for IEEE 802.11i WLAN Standard
924
Formal Evolution of XML Schemas with Inheritance
925
Formal executable descriptions of biological systems
926
Formal Executable Models of Cell Signaling Primitives
927
Formal expression of fuzzy color quality
928
Formal Expression of Sensitivity and Energy Relationship in the Context of the Coupling Matrix
929
Formal extraction of memorizing elements for sequential VHDL synthesis
930
Formal Fault Tolerant Architecture
931
Formal fault tree analysis of state transition systems
932
Formal for everyone — Challenges in achievable multicore design and verification
933
Formal foundation and conceptual design of dynamic adaptations in a workflow management system
934
Formal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation
935
Formal Foundations for Hierarchical Safety Cases
936
Formal foundations for MARTE-SystemC interoperability
937
Formal foundations for object-oriented data modeling
938
Formal foundations for semi-parsing
939
Formal foundations of object-oriented modeling notations
940
Formal framework for a generic combination of a process algebra with an algebraic specification language: an overview
941
Formal framework for adaptive multi-agent systems
942
Formal framework for automated analysis and verification of Web-based applications
943
Formal framework for communication software
944
Formal framework for detection of automation surprises in human-machine systems modeled by hybrid automata
945
Formal Framework for Hardware Safety Requirement Verification
946
Formal framework for hypertext systems
947
Formal framework for modeling and simulation of DDoS attacks based on teamwork of hackers-agents
948
Formal Framework for Nonlinear Control of PWM AC/DC Boost Rectifiers—Controller Design and Average Performance Analysis
949
Formal framework for specifying dynamic reconfiguration of adaptive systems
950
Formal generation of synthesizable RTL from regular programs
951
Formal Grammar and Human Factors Design of an Interactive Graphics System
952
Formal grammars for intermolecular structure
953
Formal grammars to describe emotional states
954
Formal granular calculi based on rough inclusions
955
Formal Guarantees for Localized Bug Fixes
956
Formal guides for experimentally verifying complex software-implemented fault tolerance mechanisms
957
Formal hardware verification based on signal correlation properties
958
Formal hardware verification by symbolic ternary trajectory evaluation
959
Formal Hardware Verification In Hol And In Boyer-moore: A Comparative Analysis
960
Formal hardware verification methodology and its application to a network interface chip
961
Formal hardware verification with BDDs: an introduction
962
Formal Hardware Verification: A Users´ View Summary
963
Formal hardware/software co-verification by interval property checking with abstraction
964
Formal Hardware/Software Co-Verification of Embedded Power Controllers
965
Formal hazard analysis of hybrid systems in cTLA
966
Formal heterogeneous system modeling with SystemC
967
Formal implementation verification of the bus interface unit for the Alpha 21264 microprocessor
968
Formal incremental requirements specification of service-oriented automotive software systems
969
Formal infinite zeros of nonlinear systems
970
Formal integrated network security analysis tool: formal query-based network security configuration analysis
971
Formal integration of inheritance with typed attributed graph transformation for efficient VL definition and model manipulation
972
Formal intent based Flight Management System design for unmanned aerial vehicles
973
Formal Intent-Based Trajectory Description Languages
974
Formal Interaction Specification in a Reflective Information Model
975
Formal Interface-Component Based Software Analysis and Design
976
Formal Interpretation of Assertion-Based Features on AMS Designs
977
Formal interpretation of HAIKU and its application to communication interface
978
Formal interpretation of network tasks of model OSI
979
Formal language control of induction motor drives
980
Formal Language Description of Mobile Agent´s Theory Model
981
Formal Language Modeling and Simulations of Incident Management
982
Formal languages aspects as a tool for representation and implementation of behavior-based robotics
983
Formal Languages: Origins and Directions
984
Formal languages: Origins and directions
985
Formal limits on determining reliabilities of component-based software systems
986
Formal Linguistics and the Deductive Grammar
987
Formal localized reactive subnet-based failure recovery model for sparsely connected wireless sensor and actor networks
988
Formal logic and protocol specification
989
Formal logic as a learning facilitation tool
990
Formal management of object behavior with statechart DNA
991
Formal manipulation of Forrester diagrams by graph grammars
992
Formal meaning of coverage metrics in simulation-based hardware design verification
993
Formal measures of learning in a secondary school mobile robotics course
994
Formal Metadata and Shared Experiences for Discovering Tools to Adapt Open Educational Resources
995
Formal method for scheduling, routing and communication protocol
996
Formal method for self-timed design
997
Formal methods
998
Formal methods
999
Formal methods — Support or scientific decoration in software development?
1000
Formal Methods (Europe) Industrial Seminars