<< مقالات لاتين فني مهندسي >>
<< بر اساس عنوان >>
1
A Flow Rationing Strategy over Multiple Flow Classes on Restricted Paths
2
A flow reactor for synthesis of nanoparticles with a system of optical diagnostics
3
A Flow Redirection Decision Mechanism using Data Mining on NEMO Environments
4
A flow regulator for On-Chip Communication
5
A flow rejection algorithm for QoS maintenance in a variable bandwidth wireless IP environment
6
A flow table-based design to approximate fairness
7
A Flow to Generate DEM from Lidar Data
8
A flow transparent multicast pre-reservation modification of RSVP for providing real-time services in wireless mobile networks
9
A Flow Volumes Data Compression Approach for Traffic Network Based on Principal Component Analysis
10
A flow-aware MAC protocol for a passive optical metropolitan area network
11
A flow-based anomaly detection method using entropy and multiple traffic features
12
A flow-based anomaly detection method using sketch and combinations of traffic features
13
A flow-based approach for evaluating fuel cell interconnections to a distribution feeder
14
A flow-based approach to vehicle detection and background mosaicking in airborne video
15
A Flow-Based Centrality Measure through Resistance Distances in Smart-Grid Networks
16
A Flow-Based Hybrid Mechanism to Improve Performance in NOX and Wireless OpenFlow Switch Networks
17
A flow-based method for abnormal network traffic detection
18
A flow-based model of dynamic queue balancing in the MPLS-network with Traffic Engineering Queues support
19
A flow-based model of two-level routing in multiservice network
20
A flow-based network monitoring framework for wireless mesh networks
21
A flow-based network monitoring system used for CSCW in design
22
A flow-based performance analysis of TCP and TCP applications
23
A flow-based prediction scheme to manage resources in enterprise data centers
24
A Flow-Based Traceback Scheme on an AS-Level Overlay Network
25
A Flow-Based Traffic Model for SIP Messages in IMS
26
A flow-based user interface for efficient execution of the design cycle
27
A Flowchart Language for Quantum Programming
28
A Flow-compartmental Model To Measure Glucose Transport And Insulin Control Upon It In The Human Skeletal Muscle
29
A flow-driven fast forwarding architecture for content centric networks
30
A Flower Growth Simulation based on Deformation
31
A Flower Tessellation for Simulation Purpose of Cellular Network with 12-Sector Sites
32
A Flow-Graph Formula for the Stationary Distribution of a Markov Chain
33
A flow-guided file layout for out-of-core streamline computation
34
A flow-guided file layout for out-of-core streamline computation
35
A flow-guided streamline seeding strategy
36
A Flow-Level Performance Model for Mobile Networks Carrying Adaptive Streaming Traffic
37
A flowmeter for unsteady liquid flow measurements in total liquid ventilation
38
A flowmeter operating with plate waves induced by piezoelectric thick films
39
A flow-rate independent cell counter using a fixed control volume between double electrical sensing zones
40
A flow-routing approach for optical IP networks
41
A flow-sensitive analysis of privacy properties
42
A flowshop scheduling algorithm to minimize total weighted completion time
43
A flowshop scheduling problem with machine deterioration and maintenance activities
44
A flow-through detector for nano-Curie activities encountered in HPLC analysis of PET tracer metabolites
45
A flow-through electroporation chip integrated with viable cell sorting based on dielectrophoresis
46
A flow-through electroporation device utilizing Dean Vortex to enhance cell viability
47
A flow-through optical sensor system for label-free detection of proteins and DNA
48
A flow-view based dynamic QoS guarantee mechanism
49
A Flow-Weighted Scale-Free Topology for Wireless Sensor Networks
50
A Floyd-Dijkstra hybrid application for mobile robot path planning in life science automation
51
A floyd-genetic algorithm based path planning system for mobile robots in laboratory automation
52
A Floyd-like algorithm for optimization of mix-valued logical control networks
53
A Fluctuation-Based Modelling Approach to Quantification of the Technical Debt on Mobile Cloud-Based Service Level
54
A fluid analysis of a utility-based wireless scheduling policy
55
A fluid analysis of utility-based wireless scheduling policies
56
A fluid approach for performance analysis of LTE-A networks with relays
57
A fluid approach to microwaves
58
A fluid approximation model of an integrated packet voice and data multiplexer
59
A Fluid Background Traffic Model
60
A fluid dynamic analysis in the chamber and nozzle for a jetting dispenser design
61
A Fluid Dynamic Based Coordination of a Wireless Sensor Network of Unmanned Aerial Vehicles: 3-D Simulation and Wireless Communication Characterization
62
A fluid dynamical approach to the control, synchronization and parameter identification of chaotic systems
63
A fluid dynamics approach for self-reconfiguration planning of modular robots
64
A fluid dynamics approach to multi-robot chemical plume tracing
65
A fluid dynamics model for wind turbine generators in equatorial environments
66
A fluid energy driven piezoelectric generator
67
A fluid flow and heat transfer analysis for evaluating the effectiveness of an IC package heat sink
68
A fluid flow model for SCTP traffic over the Internet
69
A fluid flow tracking arbiter for input buffered ATM switch with heterogeneous port bandwidth
70
A Fluid Limit for Cache Algorithms with General Request Processes
71
A fluid metamaterial with tunable anisotropy
72
A fluid model analysis of streaming media in the presence of time-varying bandwidth
73
A fluid model approximation to quantitative information feedback in congestion control
74
A fluid model for error propagation characterization in video coding
75
A fluid model for high-end network equipment with QoS policied aggregated traffic
76
A fluid model for layered queueing networks
77
A fluid model of multipath TCP algorithm: Fairness design with congestion balancing
78
A fluid model of shortest queue routing: delayed feedback and inherent periodicity
79
A fluid power lab for undergraduate education
80
A Fluid Queue Fed by an On-Off Source
81
A Fluid Self-excited Oscillation Peculiar to Flat Ring Tube and its Application to Wearable Robots
82
A fluid treemap interface for personal digital libraries
83
A fluid viscosity sensor with resonant trapezoidal micro cantilever
84
A fluid-based soft-object model
85
A Fluid-Diffusive Approach for Modelling P2P Systems
86
A fluid-dynamic analysis of stenosis and regurgitation in polyurethane tricuspid valves
87
A fluid-filled flextensional device for ocean acoustic tomography
88
A fluid-flow analytical model of networked multimedia TFRC traffic sources
89
A fluid-flow characterization of Internet1 and Internet2 traffic
90
A fluid-flow model of RIO routers loaded by Markov modulated fluid processes
91
A fluidic chemical and biological sensing mechanism with high transduction based on dissolvable membranes
92
A Fluidic Colorimetric Sensor Design for Water Hardness Detection
93
A Fluidic Drive System for Intra-Aortic Balloon Heart Assist Device
94
A Fluidic Loading Mechanism for Phase Reconfigurable Reflectarray Elements
95
A Fluidic Loading Mechanism in a Polarization Reconfigurable Antenna With a Comparison to Solid State Approaches
96
A fluidic microenergy generator enabled by hybrid nanomaterial nanofluids
97
A Fluidic/Pneumatic Interface Amplifier
98
A fluidically-tunable, dual-band patch antenna
99
A fluidic-enabled polarization reconfigurable antenna on a hexagonal substrate tile
100
A fluid-suspension, electromagnetically driven eye with video capability for animatronic applications
101
A flume for handling arrays at sea
102
A fluorescence based endoscopic microcancer detection capsule
103
A fluorescence discrimination technique for the dominant algae species developed by Wavelet packet
104
A Fluorescence Emission Detector with 100 Picosecond Time Resolution
105
A fluorescence fiber temperature detection system based on the lifting-wavelet
106
A fluorescence imaging system for oral cancer and precancer detection
107
A Fluorescence Optic Fiber Temperature Sensor Using Visible Wavelengths
108
A Fluorescence Optic-fiber Temperature Sensor Based on Ruby
109
A fluorescence spectrum at 1.3 /spl mu/m of bismuth-doped silica glass with 0.8 /spl mu/m excitation
110
A Fluorescent Chemodosimeter for Hg²+ in Neutral Solution
111
A Fluorescent Gated Imaging Gas Scintillation Specftroeter for High Energy X-Ray Astronomy
112
A fluorescent glucose assay using poly-L-lysine and calcium alginate microencapsulated TRITC-succinyl-concanavalin A and FITC-dextran
113
A fluorescent lamp electronic ballast for railway applications based on low cost microcontroller
114
A fluorescent lamp electronic ballast for railway applications based on low-cost microcontroller
115
A fluorescent lamp model based on its physical characteristics
116
A fluorescent lamp model for high frequency wide range dimming electronic ballast simulation
117
A fluorescent lamp model for high-frequency electronic ballasts
118
A Fluorescent Lamp with Integral Proximity Sensor for Building Energy Management
119
A Fluorescent Mid-air Screen
120
A fluorescent sensor with a separation mechanism for exciting light
121
A fluorescent tracing of hilus-granular organization utilizing visual feedback system
122
A fluoride glass optical fiber operating in the mid-infrared wavelength range
123
A Fluorine and Germanium Co-doped Multimode Fibre for Wide Operation Window
124
A fluorometric differentiation technique of phytoplankton assemblage based on Coif2 wavelet and fourth-derivative
125
A fluoroscopic-based navigation system for ACL reconstruction assisted by robot
126
A fluoroscopy-based navigation system for fixation of femoral neck fracture
127
A flush near end-fire parallel-polarized antenna
128
A flush-mounted antenna for mobile communications
129
A Flush-Mounted Glide-Path System
130
A flush-mounted leaky-wave antenna with predictable patterns
131
A flush-mounted multifunctional slot aperture (combo-antenna) for automotive applications
132
A Flush-Mounted Runway Antenna for Use with the FAA Directional Glide-Path System
133
A fluttering-to-electrical energy transduction system for consumer electronics applications
134
A flux and speed observer for sensorless SPIM applications
135
A flux balancer for phase shift ZVS DC-DC converters under transient conditions
136
A flux barrier cooling for traction motors in hybrid drives
137
A Flux Compression Generator Non-Explosive Test Bed for Explosive Opening Switches
138
A flux control for improved dynamic response (induction machines)
139
A flux controller that improves drive system performance by accounting for magnetic circuit saturation
140
A flux estimator for field oriented control of an induction motor using an artificial neural network
141
A flux estimator for induction motor drives based on digital EMF integration with pre- and post- high pass filtering
142
A Flux Focusing Axial Magnetic Gear
143
A flux focusing cycloidal magnetic gearbox
144
A flux focusing ferrite magnetic gear
145
A flux observe for vector control of an induction machine using fuzzy identification
146
A flux observer for induction machines based on a time-variant discrete model
147
A flux observer for induction machines based on a time-variant discrete model
148
A flux pump for NMR magnets
149
A Flux Screening Technique for Growth of High-Quality Ferrite Films by Pulsed Laser Deposition
150
A flux vector-based discrete-time direct torque control for salient-pole permanent-magnet synchronous generators
151
A Flux Voltmeter for Magnetic Tests
152
A flux voltmeter for magnetic-tests
153
A flux-based approach to HBT device modeling
154
A Flux-Based Expression of Induction Machine Magnetizing Inductance
155
A flux-based PMSM motor model using RBF interpolation for time-stepping simulations
156
A flux-based study of carrier transport in thin-base diodes and transistors
157
A flux-concentrating external-rotor switched flux hybrid magnet memory machine for direct-drive automotive applications
158
A Flux-Density-Based Electromagnetic Servo System for Real-Time Magnetic Servoing/Tracking
159
A Flux-Focusing Cycloidal Magnetic Gearbox
160
A fluxgate current sensor with a U-shaped magnetic gathering shell
161
A Fluxgate Current Sensor With a U-Shaped Magnetic Gathering Shell
162
A Fluxgate Magnetic Sensor: From PCB to Micro-Integrated Technology
163
A fluxgate magnetometer for navigation and sensing: Noise character and digital filtering
164
A Fluxgate Magnetometer for the Applications Technology Satellite
165
A fluxgate magnetometer with a metallic glass core
166
A fluxgate sensor of high stability for low field magnetometry
167
A Fluxless and Low-Temperature Flip Chip Process Based on Insertion Technique
168
A fluxless Au-Sn bonding process of tin-rich compositions achieved in ambient air
169
A fluxless bonding process using AuSn or Indium for a miniaturized hermetic package
170
A fluxless bonding technology using indium-silver multilayer composites
171
A fluxless flip chip bonding for VCSEL arrays using silver coated indium solder bumps
172
A fluxless flip-chip bonding for VCSEL arrays using silver-coated indium solder bumps
173
A fluxless oxidation-free bonding technology
174
A fluxless process of producing In-Au joints on copper substrates
175
A fluxless process of producing tin-rich gold-tin joints in air
176
A fluxless Sn-In bonding process achieving high remelting temperature
177
A flux-modulated low-speed motor with an improved structure and its performance analysis using finite-element method
178
A flux-sensitive reproducing head
179
A flux-sensitive reproducing head for magnetic recording systems
180
A flux-weakening control approach for interior permanent magnet synchronous motors based on Z-source inverters
181
A flux-weakening control method on Maximum Torque Control frame for IPMSM position sensorless control
182
A flux-weakening predictive control algorithm for extended constant-power operation of surface-mounted PM machines
183
A flux-weakening strategy for current-regulated surface-mounted permanent-magnet machine drives
184
A flyback converter using power MOSFET to achieve high frequency operation beyond 13.56 MHz
185
A flyback converter with multiple ports for power management in DC distribution systems
186
A flyback DCM DC-AC converter for PV applications
187
A Flyback Rectifier With Spread Harmonic Spectrum
188
A flyback SMPS LED driver for lighting application
189
A flyback-CCM inverter scheme for photovoltaic AC module application
190
A flyback-type single phase utility interactive inverter with low-frequency ripple current reduction on the DC input for an AC photovoltaic module system
191
A Fly-By-Wireless UAV Platform Based on a Flexible and Distributed System Architecture
192
A flying capacitor multilevel inverter with bootstrap-powered MOSFET gate drive circuits
193
A flying capacitor multilevel PWM converter based UPFC
194
A flying insect model for wind tunnel Expriments
195
A flying insect-like flapper actuated by a compressed LIPCA
196
A flying inverted pendulum
197
A flying object using hardware implemented, vision processing and motor control system with adaptive neural network
198
A flying projector stabilizing image fluctuation
199
A flying robot with adaptive morphology for multi-modal locomotion
200
A flying robotic system for power line corridor inspection
201
A flying saucer lifted with Coandă effect
202
A flying spot mirror at 94GHz
203
A flying spot X-ray system for Compton backscatter imaging
204
A flying wire system in the AGS
205
A Flying-Adder PLL technique enabling novel approaches for video/graphic applications
206
A flying-capacitor ZVS PWM 1.5 kW DC-to-DC converter with half of the input voltage across the switches
207
A flying-capacitor-based multilevel shunt active power filter for power quality improvement under severe operating conditions
208
A flying-spot film scanner for colour television
209
A flying-spot film scanner for colour television
210
A flying-spot laser scanner for tracking eye movements
211
A flyweight UML modelling tool for software development in heterogeneous environments
212
A flywheel cell for energy storage system
213
A flywheel energy storage system demonstration for space applications
214
A flywheel energy storage system for an isolated micro-grid
215
A flywheel energy storage system suspended by active magnetic bearings with fuzzy PID controller
216
A flywheel energy storage system test on the International Space Station
217
A flywheel energy storage system with Matrix Converter controlled Permanent Magnet Synchronous Motor
218
A flywheel micro-energy storage hybrid vehicle having a direct injection diesel prime-mover engine
219
A FM type of non-scanning wide-range ultrasonic sensor for ALV
220
A F-MAC protocol for underwater acoustic sensor network
221
A FMCDM model based on two levels criteria to evaluate financial performance of container liners
222
A FMCW laser range-finder based on a delay line technique
223
A FMCW Radar Acquisition and Process System Based on LabVIEW
224
A FMECA framework for Service Oriented Systems based on Web Services
225
A FML-based fuzzy tuning for a memetic ontology alignment system
226
A FML-based hybrid reasoner combining fuzzy ontology and Mamdani inference
227
A FMM-FFT accelerated hybrid volume surface integral equation solver for electromagnetic analysis of re-entry space vehicles
228
A FM-radio transmitter concept based on an all-digital PLL
229
A fMRI data analysis method using a fast infomax-based ICA algorithm
230
A fMRI data processing method using projection technique
231
A fMRI study of the Cross-Modal Interaction in the Brain with an Adaptable EMG Prosthetic Hand with Biofeedback
232
A FMS to process elevators sheet metals
233
A FNN control of underwater vehicles based on ant colony algorithm
234
A FOA-based error resiliency scheme for video transmission over unreliable channels
235
A foam dielectric matrix-fed electronically despun circular array
236
A focal access point to follow the standardization of learning technologies
237
A Focal Cue for Metric Measurement of 3D Surfaces
238
A focal plane array system for clinical infra red imaging
239
A focal plane processor for continuous-time 1-D optical correlation applications
240
A focal plane visual motion measurement sensor
241
A focal positioning method used in the MR-guided focused ultrasound surgery system
242
A focal-plane array of dielectric rod antennas for THz imaging
243
A Focal-Plane Image Processor for Low Power Adaptive Capture and Analysis of the Visual Stimulus
244
A Fock-function representation of the fields induced on an impedance or coated cylindrical surface by a Z-directed point source
245
A Focus + Context Technique for Visualizing a Document Collection
246
A Focus Control Method Based on City Blocks for the Focus+Glue+Context Map
247
A focus group study on the design considerations and impressions of a socially assistive robot for long-term care
248
A focus mask for color picture tubes using dipolar and quadrupolar lensing
249
A focus measure for light field rendering
250
A focus on cycle time-vs.-tool utilization "paradox" with material handling methodology
251
A focus on depth
252
A Focus on Key Areas: Updates from IEEE Board of Directors Meetings [Leader´s Corner]
253
A Focus on Security and Privacy in the Cloud [Editorial]
254
A focus on students
255
A focus on the environment within which aeronautical radio systems can be developed and operated
256
A focus+context visualization technique using semi-transparency
257
A focus-context browser for multiple timelines
258
A Focused Aperture Millimeter Wave Transmission Line
259
A Focused Asymmetric Metal–Insulator–Metal Tunneling Diode: Fabrication, DC Characteristics and RF Rectification Analysis
260
A focused beam forming algorithm with null constrained weight
261
A Focused Bibliography on Robotics
262
A Focused Crawler Based on Naive Bayes Classifier
263
A focused crawler for Romanian words discovery
264
A focused image processing procedure using near zone scattered fields obtained in a compact range
265
A focused linked data crawler based on HTML link analysis
266
A focused look at the softer side of management
267
A focused look at the softer side of management
268
A focused look at the softer side of management - Focal point
269
A focused look at the softer side of management - Focal point
270
A focused look at the softer side of management [Focal point]
271
A focused look at the softer side of management [Focal point]
272
A Focused Planar Microstrip Array for 2.4 GHz RFID Readers
273
A Focused Ultrasound Heating Technique To Measure Perfusion
274
A Focused Ultrasound System for Tissue Volume Ablation in Deep Seated Brain Sites
275
A focused web crawler face stock information of financial field
276
A focused-field eddy current sensor for nondestructive testing
277
A focusing algorithm for the optical array imaging system
278
A focusing flashlight
279
A focusing metamaterial based Wollaston Prism
280
A focusing technique based on a data spatial diversity at millimetre-wave frequency
281
A focusing-by-vergence system controlled by retinal motion disparity
282
A Focusing-Lightguide Disc DIRC for PID for the PANDA experiment at FAIR/GSI
283
A focus-of-attention preprocessing scheme for EM-ML PET reconstruction
284
A focuss based method for low rank matrix recovery
285
A focussed dynamic path finding algorithm with constraints
286
A focussing disc DIRC for the PANDA experiment
287
A Fog based system model for cooperative IoT node pairing using matching theory
288
A Fog Level Detection Method Based on Grayscale Features
289
A fog level detection method based on image HSV color histogram
290
A FOG Online Calibration Research Based on High-Precision Three-axis Turntable
291
A foggy image restoration algorithm
292
A foggy notion [solar photovoltaic power system]
293
A Fog-removing Method of Colorized Images Based on HighPass Filtering
294
A fog-removing treatment based on Gaussian Filtering
295
A Foias operator for studying uncertainty in dynamic systems
296
A foilless diode driven split cavity oscillator
297
A Fokker-Planck differential equation approach for the zero-dispersion optical fiber channel
298
A Fokker-Planck equation and percolation theory based relay node for I-UWB networks
299
A Fokker-Planck model for a non-linear switched system
300
A Foldable 3-DOF Parallel Mechanism With Application to a Flat-Panel TV Mounting Device
301
A Foldable Antagonistic Actuator
302
A Foldable Microplasma-Generation Device on a Paper Substrate
303
A foldable multi-chip packaging technique with a polyimide platform and flexible PDMS assembly mold
304
A foldable stereo vision unit for Single Port Access Laparoscopy
305
A fold-back current-limit circuit with load-insensitive quiescent current for CMOS low dropout regulator
306
A folded 32-bit prefix tree adder in 0.16-μm static CMOS
307
A folded bit-line architecture for high speed CMOS SRAM
308
A folded capacitor cell (F.C.C.) for future megabit DRAMs
309
A folded cascode OTA using current-mode gain-boost amplifier
310
A folded compact antenna for broadband RFID UHF application
311
A folded coupled-line structure and its application to filter and diplexer design
312
A folded current-reused CMOS power amplifier for low-voltage 3.0–5.0 GHz UWB applications
313
A Folded Current-Reused Down-Converter Mixer for Ultra Wide-Band Applications
314
A folded dipole antenna for RFID
315
A folded dipole antenna for RFID tag
316
A folded dipole antenna having extremely high input impedance for continuous-wave terahertz power enhancement
317
A folded dipole with a closed loop antenna for RFID applications
318
A folded elliptical antenna with a stop band characteristic
319
A folded extended window MOSFET for ULSI applications
320
A folded film antenna for digital terrestrial television reception
321
A folded floating-gate differential pair for low-voltage applications
322
A folded lens antenna with triple use of the lens
323
A folded loop antenna system for handsets
324
A folded loop antenna with four resonant modes
325
A folded low-coherence interferometer for high-accuracy measurement of group refractive index
326
A folded pipeline network processor architecture for 100 Gbit/s networks
327
A Folded Planar Inverted-F Antenna for GSM/DCS/Bluetooth Triple-Band Application
328
A folded quarter-elliptical wideband antenna for portable devices
329
A Folded Reflectarray Antenna for 2D Scanning
330
A Folded Reflectarray Antenna With a Planar SIW Slot Array Antenna as the Primary Source
331
A Folded Reflectarray Antenna with Sidelobe Reduction
332
A Folded Resistor and Capacitor (FRC) Static Memory Cell with Triple Poly-Si Structures
333
A folded resistor and capacitor (FRC) static memory cell with triple poly-Si structures
334
A Folded RF Front-end with Low Flicker Noise for Bluetooth and ZigBee application
335
A folded SIR filter with embedded feed slot for wide spurious suppression
336
A folded slot antenna for planar quasi-optical mixer applications
337
A folded slot antenna with full ground plane for wearable waterproof wireless sensors
338
A Folded Waveguide Coupler for Plasma Heating in the Ion Cyclotron Range of Frequencies
339
A folded-cascode OP Amp with a dynamic switching bias circuit
340
A folded-cascode OTA based on complementary differential-pairs for HF applications
341
A folded-cascode switched OTA based on current deviation
342
A folded-channel MOSFET for deep-sub-tenth micron era
343
A Folded-Monopole Model for Electrically Small NRI-TL Metamaterial Antennas
344
A folded-path GaAs travelling-wave modulator for phased array receivers
345
A folded-slot antenna on low resistivity Si substrate with a polyimide interface layer for wireless circuits
346
A folded-slot quasi-optical planar balanced mixer
347
A folded-switching mixer in SOI CMOS technology
348
A folded-type integrated-optic spectrum analyzer using butt-coupled chirped grating lenses
349
A folding ADC employing a robust symmetrical number system with Gray-code properties
350
A folding ADC preprocessing architecture employing a robust symmetrical number system with gray-code properties
351
A folding dickson-based fully integrated wide input range capacitive DC-DC converter achieving Vout/2-resolution and 71% average efficiency
352
A folding method to design linear retro-directive antenna array using hybrid circuits
353
A folding principle for generating three-dimensional MOSFET device structures in beam-recrystallized polysilicon films
354
A Folding Strategy for SAT solvers based on Shannon´s expansion theorem
355
A folding transformation for VLSI IIR filter array design
356
A foliage scatter model to determine topology of wireless sensor network
357
A Folk Song Retrieval System with a Gesture-Based Interface
358
A Folksonomy-Based Model of Web Services for Discovery and Automatic Composition
359
A Folksonomy-Based Social Recommendation System for Scientific Workflow Reuse
360
A folksonomy-ontology-based digital gazetteer service
361
A Follow-the-Leader Story with a Strange Ending
362
A follow-up on humanoid-mediated stroke physical rehabilitation
363
A Follow-Up Reflection on Software Process Improvement ROI
364
A follow-up study of a large group of children struck by lightning
365
A Fond Farewell
366
A Fond Farewell [From the Editor]
367
A Fond Farewell [Message from the President]
368
A fond farewell to one of Cornell´s finest
369
A Fond Farewell to The Lab: The Demolition of Building 9 [History]
370
A Fonnalism for Generating Multiparametric Encoding Gradients in NMR Tomography
371
A Font Style Learning and Transferring Method Based on Strokes and Structure of Chinese Characters
372
A food image recognition system with Multiple Kernel Learning
373
A food portion size measurement system for image-based dietary assessment
374
A food recognition algorithm based on dish recognition
375
A Food Recognition System for Diabetic Patients Based on an Optimized Bag-of-Features Model
376
A foot drop correcting fes envelope design method using tibialis anterior EMG during healthy gait with a new walking speed control strategy
377
A foot force sensing approach for a legged walking robot using the motor current
378
A foot pressure measurement system and its clinical significance
379
A foot pressure/EMG measurement system for use in clinical orthopaedic biomechanics
380
A foot temperature measuring system for diabetic patients
381
A Football Coil, a Devicf to Produce Afsolute Minimum Magnetic Field and an Isochronous Cyclotron for Heavy Ions
382
A football kicking high speed actuator for a mobile robotic application
383
A Foot-Mounted Sensor Based 3D Indoor Positioning Approach
384
A Footnote to “On the Relationship Between the Directivity and the Half-Power Beamwidth in Quasi-Symmetric Pencil-Beam Radiation Patterns” [Education Column]
385
A foot-operated computer keypad
386
A footprint study of bond initiation in gold wire crescent bonding
387
A footprint-constrained efficiency roadmap for on-chip switched-capacitor DC-DC converters
388
A footstep-plan-based floor sensing method using stereo images for biped robot control
389
A footswitch evaluation of the gait of elderly fallers with and without a diagnosis of orthostatic hypotension and healthy elderly controls
390
A For 3D Assembly Simulation System Parts With Geometric Deviations
391
A foraging group of autonomous, mobile robots-implementation of hierarchical fuzzy behavior-based control
392
A forbidden rate region for generalized cross constellations
393
A forbidden rate region for generalized cross constellations
394
A forbidden temperature region for the growth of planar strained InAlGaAs MQW structures for 1.3 /spl mu/m lasers
395
A Forcasting Model of Financial Crisis for Enterprises: Based on the Empirical Research of Listed Petrochemical Enterprises
396
A force acquisition method in a catheter navigation system
397
A Force and Displacement Self-Sensing Piezoelectric MRI-Compatible Tweezer End Effector With an On-Site Calibration Procedure
398
A force balance approach to determining dislocation configurations
399
A force based motion control strategy for hyper-redundant manipulator
400
A Force Bounding Approach for Multi-Degree-of-Freedom Haptic Interaction
401
A force bounding approach for stable haptic interaction
402
A force commanded impedance control scheme for robots with hard nonlinearities
403
A force control approach of robotic manipulators in non-rigid environments
404
A force control assisted robot path generation system
405
A force control based cell injection approach in a bio-robotics system
406
A force control for a robot finger under kinematic uncertainties
407
A force control of network of actuators
408
A Force Directed Hill-Climbing Placement Algorithm
409
A force display method for a novel catheter operating system
410
A force display system for virtual environments and its evaluation
411
A force estimator based algorithm for robot control
412
A force feedback algorithm for the wave-variable teleoperator with high stability
413
A force feedback glove based on Magnetorheological Fluid: Preliminary design issues
414
A Force Feedback Joystick and Its Use in PC Video Games
415
A force feedback system based on robot control
416
A force feedback system for endovascular catheterisation
417
A force feedback system for steer-by-wire applications based on low-cost MR fluids - design hints
418
A Force Feedback System for Steer-by-Wire Applications Based on Low-Cost MR Fluids Design Hints
419
A Force Feedback Virtual Simulator for Education and Training
420
A Force Field Driven SOM for boundary detection
421
A Force Field Method Based Multi-Robot Collaboration
422
A force fields-based multi-scale docking method in drug molecular design
423
A force guidance system for car-like vehicle with fuzzy impedance controller
424
A force identification method for slider/disk contact force measurement
425
A force identification method for slider/disk contact force measurement
426
A force limiting adaptive controller for a robotic system undergoing a non-contact to contact transition
427
A Force Limiting Adaptive Controller for a Robotic System Undergoing a Noncontact-to-Contact Transition
428
A Force Measurement System for Missile Guidance Control Using Jet Vanes
429
A Force Method For The Singularity Analysis Of Robot´s Manipulators
430
A force of nature
431
A force of nature
432
A Force of Nature
433
A force rebalance accelerometer for an atmospheric weather probe
434
A force reflected exoskeleton-type masterarm for human-robot interaction
435
A force reflective master-slave system for minimally invasive surgery
436
A force retention mechanism by MR Spring for walking support
437
A force sensing Automated Insertion Tool for cochlear electrode implantation
438
A force sensor based on reverse effect of magnetically controlled shape memory alloy
439
A force sensor for the control of a human-like tendon driven neck
440
A force sensor using a CMOS inverter in view of its application in scanning force microscopy
441
A Force Sensors-based Catheter Operating System
442
A force study of on-chip magnetic particle transport based on tapered conductors
443
A Force/Displacement Transformation Method for Digitalized Virtual Deformable Object
444
A force/energy optimization model for wheelchair athletics
445
A force/moment direction sensor and its use for human-robot interface in robot teaching
446
A force/moment sensor for intuitive robot teaching application
447
A force/position regulator for robot manipulators without velocity measurements
448
A Force/Positiun Hybrad Self-tuning Cuntrol Of Manipulaturs
449
A force/torque relationship and its experimental verification for flexible link manipulators
450
A force/torque sensor-based technique for robot harvesting of fruits and vegetables
451
A force/torque sensor-less realization of fast and dexterous tasks with a parallel robot
452
A Force-Balance Scaling for Charged Particle Beam Current
453
A force-based bilateral teleoperation framework for aerial robots in contact with the environment
454
A force-clamp system with realistic waveforms for studying auxotonic contractions of muscles
455
A force-controlled human-assistive robot for laparoscopic surgery
456
A force-controlled pneumatic actuator
457
A force-controlled pneumatic actuator for use in teleoperation masters
458
A force-controlled portrait drawing robot
459
A force-controlled robotic micromanipulation system for mechanotransduction studies of drosophila larvae
460
A forced commutated inverter as a small series tap on a DC line
461
A forced directed component placement procedure for printed circuit boards
462
A forced routing information modification model for preventing black hole attacks in wireless Ad Hoc network
463
A Forced Spectral Diversity Algorithm for Speech Dereverberation in the Presence of Near-Common Zeros
464
A forced switching technique for current controlled three-level NPC ac-dc converter
465
A Force-directed Approach for Fast Generation of Efficient Multi-Port NoC Architectures
466
A force-directed macro-cell placer
467
A force-directed maze router
468
A Force-Directed-Based Optimization Scheme for Thermal Placement Design of MCMs
469
A force-driven evolutionary approach for multi-objective 3D differentiated sensor network deployment
470
A forced-voltage technique to test data retention faults in CMOS SRAM by I
DDQ
testing
471
A Force-Feedback Algorithm for Adaptive Articulated-Body Dynamics Simulation
472
A force-feedback joystick for control and robotics education - affordable software for educational institutions
473
A Force-Isotropic Underactuated Finger
474
A Forceps Manipulator With Flexible 4-DOF Mechanism for Laparoscopic Surgery
475
A force-reflecting teleoperated hand system for the study of tactile sensing in precision manipulation
476
A force-reflecting teleoperation system with magnetically levitated master and wrist
477
A Force-Reflection Algorithm for Improved Transparency in Bilateral Teleoperation With Communication Delay
478
A forearm actuation unit for an upper extremity prosthesis
479
A forearm pronation/supination assessment method integrated into Haptic Knob for stroke rehabilitation
480
A Forecast Approach of Network Security Situation Base on Optimal Fuzzy Grey
481
A Forecast Combination Method For Electricity market price modeling
482
A Forecast Method of Economic Data and Its Application
483
A Forecast Method of Mobile Business Prospect Based on Bass Model
484
A forecast model about average load of cognitive work based on BP network
485
A forecast model based on the BP neural network used in refinery´s steel equipment´s corrosion
486
A forecast model for pharmaceutical requirements based on an artificial neural network
487
A Forecast Model of Hydrologic Single Element Medium and Long-Period Based on Rough Set Theory
488
A Forecast Model of Urban Passenger Flow Containing New Railway Project
489
A forecast netting and consumption model for advanced planning and scheduling
490
A forecast of coal demand based on the simultaneous equations model
491
A forecast of wind farm performance at different locations of Bangladesh
492
A forecast on the future of hybrid wafer scale integration technology
493
A forecast-based biologically-plausible STDP learning rule
494
A Forecasting and Decision Model for Successful Service Negotiation
495
A forecasting approach for stock index future using grey theory and neural networks
496
A Forecasting Approach on Development of Manufacturing Industry Using Support Vector Machine Combined with Grey System
497
A Forecasting Capability Study of Empirical Mode Decomposition for the Arrival Time of a Parallel Batch System
498
A forecasting driven technique enabling power saving in LTE cellular networks
499
A forecasting method based on extrema mean empirical mode decomposition and wavelet neural network
500
A forecasting method for remaining useful life based on EMD denoising algorithm and Wiener-process
501
A forecasting method of trip generation based on land classification combined with OD matrix estimation
502
A Forecasting Model Based Support Vector Machine and Particle Swarm Optimization
503
A Forecasting Model for Deciding Annual Vaccine Demand
504
A Forecasting Model for Parking Guidance System
505
A forecasting model of communication traffic based on false nearest neighbor
506
A Forecasting Model of Dynamic Grey Rough Set and its Application on Stock Selection
507
A forecasting model of financial risk in China based on corporate governance
508
A forecasting model of RBF neural network based on genetic algorithms optimization
509
A forecasting model of time series based on wavelet neural network
510
A forecasting model to equipment health status based on PSR&Elman technology
511
A Forecasting Model to Evaluate a Freshman´s Ability to Succeed by Using Particular Full-Scaled Class Association Rules (PFSCARs)
512
A forecasting support system based on neural network
513
A forecasting system of electric price using the refined Back propagation Neural Network
514
A Forecasting System of Micro-blog Public Opinion Based on Artificial Neural Network
515
A Forecasting-Based Monitoring and Tomography Framework for Wireless Sensor Networks
516
A foreground biased depth map refinement method for DIBR view synthesis
517
A foreground digital calibration by switching control scheme for A 12-bit SAR ADC
518
A Foreground Extraction Algorithm Based on Adaptively Adjusted Gaussian Mixture Models
519
A foreground object based quantitative assessment of dense stereo approaches for use in automotive environments
520
A foreground segmentation method for mobile image retrieval system
521
A foreground/background image coder for hardware implementation
522
A Foreground/Background Separation Framework for Interpreting Polarimetric SAR Images
523
A Foreground-Background Segmentation Algorithm for Video Sequences
524
A foreground-background separation algorithm for image compression
525
A foreign exchange market trading system by combining GHSOM and SVR
526
A foreign exchange portfolio management mechanism based on fuzzy neural networks
527
A forensic analysis framework for recovering encryption keys and BB10 backup decryption
528
A Forensic Analysis of Android Malware -- How is Malware Written and How it Could Be Detected?
529
A Forensic Analysis of Images on Online Social Networks
530
A forensic analysis solution of the email network based on email contents
531
A forensic ballistics projectile location system
532
A forensic chip for secure digital video recording
533
A Forensic Computing System Using a Digital Right Management Technique
534
A forensic hypervisor for process tracking and exploit discovery
535
A Forensic Investigation for Suspects´ Digital Evidences Using Image Categorization
536
A Forensic Marking Algorithm Based on DWT-SVD Using Hologram
537
A forensic method for detecting image forgery
538
A Forensic Model for Forecasting Alerts Workload and Patterns of Intrusions
539
A Forensic Model on Deleted-File Verification for Securing Digital Evidence
540
A forensics method of web browsing behavior based on association rule mining
541
A forensics tool of Foxmail client
542
A foresight strategy proposal for ICT scenarios definitions: An application for PLM tools and systems
543
A Forest Canopy Reflectance Model
544
A forest canopy research database and analysis system
545
A Forest Fire Algorithm for Predicting the Percolation Threshold of ITZs In Concrete
546
A Forest Fire Detection System: The Meleager Approach
547
A forest fire monitoring system based on GPRS and ZigBee wireless sensor network
548
A forest fire prediction system based on rechargeable wireless sensor networks
549
A forest fire propagation simulator for Bogotá
550
A Forest Geometric Description of a Maritime Pine Forest Suitable for Discrete Microwave Models
551
A Forest Growth Simulator Based on Functional-Structural Modelling of Individual Trees
552
A forest inventory method by combining radar-derived stand profiles and aerial photography
553
A forest map of a part of Switzerland
554
A forest map updating expert system based on the integration of low level image analysis and photointerpretation techniques
555
A Forest-structured Bloom Filter with flash memory
556
A Forewarning Research on Individual Disaster-Affected Population of Disaster Emergency Management
557
A Forewarning Study of China´s Coal Energy Safety Based on Entropy Weight Markov Chain
558
A foreword of thanks and welcome
559
A forgettable near eye display
560
A forgetting-based approach to merging knowledge bases
561
A forgotten pioneer
562
A forgotten theorem, and its application to surface-wave excitation
563
A fork connected auto-transformer based 24-pulse AC-DC converter
564
A Fork Connected Transformer Based 24-Pulse AC-DC Converter
565
A fork implementation of the police edition of the OOCWC system
566
A Fork-like Feeding Slot Antenna
567
A form dropout method based on line-elimination and image-subtraction
568
A form dropout system
569
A form features automatic recognition system
570
A Formal Account of Planning with Flexible Timelines
571
A Formal Adaptation Method For Process Descriptions
572
A formal analysis framework for Internet of Things
573
A Formal Analysis of Behavioral Equivalence for Web Services
574
A Formal Analysis of Coercion-Resistance of the Internet Voting Protocol Based on DKR Formal Model
575
A formal analysis of conservative update based approximate counting
576
A Formal Analysis of Fraud in Banking Sector
577
A formal analysis of IEEE 802.11w deadlock vulnerabilities
578
A formal analysis of ISO/IEEE P11073-20601 standard of medical device communication
579
A formal analysis of ome properties of kerberos 5 using MSR
580
A formal analysis of protocol-independent security threats in VANETs
581
A Formal Analysis of Space Filling Curves for Parallel Domain Decomposition
582
A formal analysis of stage stunt system with hybrid automata
583
A formal analysis of stopping criteria of decomposition methods for support vector machines
584
A formal analysis of symmetric encryption and keyed hash function
585
A formal analysis of Syverson´s rational exchange protocol
586
A formal analysis of the fault-detecting ability of testing methods
587
A formal analysis of the subsume relation between software test adequacy criteria
588
A formal and empirical analysis of recombination for genetic algorithm-based approaches to the FPGA placement problem
589
A Formal and Practical Framework for Constraint-Based Routing
590
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
591
A formal approach based on the rewriting logic for prototyping distributed information systems
592
A Formal Approach Enabling Risk-Aware Business Process Modeling and Simulation
593
A formal approach enabling the computation of network state permutations using binary relations
594
A formal approach facilitating the evolution of component-based software
595
A formal approach for architectural modeling and prototyping of distributed real-time systems
596
A Formal Approach for Component Based Embedded Software Modelling and Analysis
597
A Formal Approach for Debugging Arithmetic Circuits
598
A Formal Approach for Design of Agent Based Earthquake Management System (EMS)
599
A formal approach for designing CORBA based applications
600
A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions
601
A Formal Approach for Ensuring a Correct Reconfigurable Composite Service
602
A Formal Approach for Functional and Structural Test Case Generation in Multi-Agent Systems
603
A formal approach for interoperability between mobile agent systems and component based architectures
604
A Formal Approach for Interoperability Testing of Security Rules
605
A formal approach for measuring the lexical ambiguity degree in natural language requirement specification: Polysemes and Homonyms focused
606
A formal approach for model formulation in a model management system
607
A formal approach for modeling and verification of bus bridge based on Petri Net and model checking
608
A Formal Approach for Modeling Interactive Visual Interfaces
609
A formal approach for network security management based on qualitative risk analysis
610
A formal approach for passive testing of protocol data portions
611
A Formal Approach for QoS Assurance in the Cloud
612
A formal approach for reactive mode handling
613
A formal approach for reverse engineering: a case study
614
A formal approach for security evaluation
615
A formal approach for SOA design patterns composition
616
A formal approach for software maintenance
617
A formal approach for specification-driven AMS behavioral model generation
618
A formal approach for the inference plane supporting integrated management tasks in the Future Internet
619
A Formal Approach for the Iterative Design of Behavioural Models
620
A formal approach for the optimization of heterogeneous multiprocessors for complex image processing schemes
621
A Formal Approach for the Reconstruction of Potential Attack Scenarios
622
A formal approach for the specification, verification and control of flexible manufacturing systems
623
A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems
624
A Formal Approach for the Validation of Web Service Orchestrations
625
A Formal Approach for Timed Weighted T-Systems
626
A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B
627
A formal approach for virtual machine migration planning
628
A formal approach in robot development process using a UML model
629
A Formal Approach to Adaptable-Resources Specification
630
A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing
631
A formal approach to causal analysis based on STAMP (CAST)
632
A formal approach to check and schedule reconfigurable embedded control systems
633
A formal approach to clinical decision making and patient management
634
A formal approach to component based development of synchronous programs
635
A formal approach to component-based software engineering: education and evaluation
636
A formal approach to context scheduling for multicontext reconfigurable architectures
637
A formal approach to debug polynomial datapath designs
638
A formal approach to design space exploration of protocol converters
639
A formal approach to designing a class-subclass structure using a partial-order on the functions
640
A Formal Approach to Designing Anonymous Software
641
A Formal Approach to Designing Cryptographic Processors Based on
Arithmetic Circuits
642
A formal approach to designing secure software architectures
643
A Formal Approach to Design-Rule Checking
644
A formal approach to determining parallel resource bindings
645
A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems
646
A Formal Approach to Devising a Practical Method for Modeling Reusable Services
647
A formal approach to distributed software architecture
648
A formal approach to domain-oriented software design environments
649
A formal approach to frequent energy adaptations for multimedia applications
650
A formal approach to fuzzy modeling
651
A formal approach to fuzzy modeling
652
A formal approach to HW/SW co-design: the INSYDE project
653
A formal approach to hypervideo design
654
A formal approach to information security metrics
655
A formal approach to managing design processes
656
A formal approach to mobility modeling
657
A Formal Approach to Model Composition Applied to VUML
658
A formal approach to model SNMP network management systems
659
A formal approach to modeling agents based on object semantics
660
A formal approach to modeling and analyzing human taskload in simulated air traffic scenarios
661
A formal approach to modeling and performance analysis of shared channels for real-time services in W-CDMA 3G systems
662
A formal approach to MpSoC performance verification
663
A formal approach to multi-dimensional sensitivity analysis of embedded real-time systems
664
A formal approach to multimedia information systems development
665
A formal approach to nonlinear analog circuit verification
666
A Formal Approach to Personalization
667
A formal approach to pipeline optimization in synthesis of digital signal processors with fine grain parallelism
668
A Formal Approach to Pre-Market Review for Medical Device Software
669
A Formal Approach to prevent Attacks on Mobile Agent Systems
670
A formal approach to product model sharing, and practical applications
671
A formal approach to program modification
672
A formal approach to railway signalling
673
A formal approach to reactive system design: unmanned aerial vehicle flight management system design example
674
A formal approach to reactive systems software: a telecommunications application in ESTEREL
675
A formal approach to reconfigurability analysis application to the three tank benchmark
676
A formal approach to requirements based testing in open systems standards
677
A formal approach to requirements-based programming
678
A formal approach to reusing more general components
679
A formal approach to robustness maximization of complex heterogeneous embedded systems
680
A Formal Approach to Robustness Testing of Network Protocol with Time Constraints
681
A formal approach to rounding
682
A Formal Approach to RT-RTI Design Using Real Time DEVS
683
A formal approach to safety verification of railway signaling systems
684
A formal approach to self-configurable swarm-based space-exploration systems
685
A Formal Approach to Semantic Composition of Aspect-Oriented Requirements
686
A formal approach to slack-driven high-level synthesis
687
A formal approach to software architecture of agent-base systems
688
A formal approach to software components classification and retrieval
689
A formal approach to software synthesis for architectural platforms
690
A Formal Approach to Specify the Reflective Design of Software Components with Timing Constraints
691
A Formal Approach to Specifying Architecture Aspects and Their Weaving Logic
692
A formal approach to system design and refinement
693
A formal approach to system integration
694
A formal approach to system level design: metamodels and unified design environments
695
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
696
A formal approach to testing LUSTRE specifications
697
A formal approach to testing programs in practice
698
A formal approach to the analysis of priorities of imprecise conflicting requirements
699
A formal approach to the comparison of object-oriented analysis and design methodologies
700
A formal approach to the desin and implementation of network communication protocol
701
A formal approach to the generation of visual language environments supporting multiple views
702
A Formal Approach To The Protocol Converter Problem
703
A formal approach to the scheduling problem in high level synthesis
704
A formal approach to the semantic specification of data flow diagrams
705
A formal approach to the slack driven scheduling problem in high-level synthesis
706
A formal approach to the vertical partitioning problem in distributed database design
707
A formal approach to verification of linear analog circuits with parameter tolerances
708
A Formal Approach to Verify Grid Service Composition Based on Interaction Pattern
709
A Formal Approach to Verify Mapping Relation in a Software Product Line
710
A formal approach to verify software scalability requirements using set theory and Hoare triple
711
A Formal Approach to Virtualisation and Provisioning in AMBA AHB-based Reconfigurable Systems-on-Chip
712
A formal approach to visual proving based on logic programming
713
A Formal Approach to Website Maintenance
714
A formal approach toward developing an equivalent circuit for high-speed coupled interconnects with intermediate ground insertion
715
A Formal Approach towards Assessing the Effectiveness of Anti-Spam Procedures
716
A formal approach towards electrical verification of synchronous MOS circuits
717
A Formal Approach Towards Risk-Aware Service Level Analysis and Planning
718
A formal approach towards systems modeling and verification
719
A formal architectural design patterns-based approach to software understanding
720
A formal architectural model for logical agent mobility
721
A Formal Architecture Pattern for Real-Time Distributed Systems
722
A Formal Architecture Supporting Dynamic Composition of Web Services
723
A formal assessment of anomaly network intrusion detection methods and techniques using various datasets
724
A formal assessment of synchronous testability for communicating systems
725
A formal associative model of logic programming and its abstract instruction set
726
A Formal Authorization Framework for Networked SCADA Systems
727
A formal automated approach for reverse engineering programs with pointers
728
A formal background for basic type autowaves formation by a cellular neural network
729
A formal background to build constraint objects
730
A formal basis for consistency, evolution and rationale management in requirements engineering
731
A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration
732
A formal basis for design process planning and management
733
A Formal Basis For Design Process Planning And Management
734
A formal basis for object-oriented patterns
735
A formal basis for structured analysis
736
A formal basis for structured multimedia collaborations
737
A Formal Basis for the Heuristic Determination of Minimum Cost Paths
738
A Formal Behavioral Semantics for TestML
739
A formal characterization of epsilon serializability
740
A Formal Characterization of Uniform Peer Sampling Based on View Shuffling
741
A formal classification of 3D medial axis points and their local geometry
742
A formal classification of 3D medial axis points and their local geometry
743
A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows
744
A formal communication model for lookup operations in a hypercube-based P2P data store
745
A Formal Comparison of the Bell & LaPadula and RBAC Models
746
A Formal Condition to Stop an Incremental Automatic Functional Diagnosis
747
A Formal Contract Language for Plugin-based Software Engineering
748
A Formal Control Model for Risks Management within Software Projects
749
A Formal CSP Framework for Message-Passing HPC Programming
750
A Formal Data-Centric Approach for Passive Testing of Communication Protocols
751
A Formal Definition of Complex Software
752
A Formal Definition of Data Flow Graph Models
753
A Formal Definition of Dynamic Structure Hybrid Simulation Model
754
A Formal Definition of Logic Topology for All-to-One Reduces in Distributed Memory Parallel Computing
755
A Formal Definition of Logic Topology for One-to-All Broadcasts in Parallel and Distributed Computing
756
A formal definition of software architecture behavioral concepts
757
A Formal Definition of Software Testing Based on Fuzzy Measure
758
A Formal Definition of SOL
759
A formal definition of the structural semantics of Domain-Specific Modeling languages
760
A formal definition of the Users View (UV) of the Graphical Object Query Language (GOQL)
761
A formal definition on ontology integration
762
A Formal Derivation of Grover´s Quantum Search Algorithm
763
A formal description for protocols in WSN based on STeC language
764
A formal description framework of temporal conflicts in multi-agent virtual warehouse collaboration system based on ITL
765
A Formal Description Method for Aspect-Oriented Statechart Based on CSP
766
A formal description of design patterns using OWL
767
A formal description of ontology change in OWL
768
A formal description of preparation processes for geometric models to improve downstream activities integration in the design process
769
A formal description of protocols in the Pan-European digital mobile radio communication system
770
A formal description of self-controlling software based on pi-calculus
771
A Formal Description of the ITIL Change Management Process Using Abstract State Machines
772
A Formal Description of the NOVA 800 Computer in Computer Design Language
773
A formal description of the structure attribute model for tool interfacing
774
A formal description of VHDL-AMS analogue systems
775
A Formal Description of Web Services Container Architecture
776
A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661
777
A formal description technique for the verification of fuzzy knowledge base redundancy and subsumption
778
A Formal Description-Based Approach to Extended Many-Valued Context Analysis
779
A Formal Descriptive Language and an Automated Detection Method for Complex Events in RFID
780
A formal design and implementation method for real-time embedded systems
781
A Formal Design for Softare
782
A formal design methodology for land-transport operations
783
A formal design methodology for parallel architectures
784
A formal design methodology for synthesizing a clock signal with an arbitrary duty cycle of M/N
785
A Formal Design Model for Mechatronic Systems
786
A Formal Design of Automation Systems Based on Operation Modes Using High-level Petri Net
787
A formal design of secure information systems by using a Formal Secure Data Flow Diagram (FSDFD)
788
A Formal Design Verification System Based on an Automated Reasoning System
789
A Formal Development Approach for Self-Organising Systems
790
A formal development framework and its use to manage software production
791
A Formal Diagrammatic Approach to Timed Workflow Modelling
792
A formal engineering approach for control and monitoring systems in a service-oriented environment
793
A Formal Engineering Framework for Service-Based Software Modeling
794
A Formal Environment for Describing Negotiation Capabilities
795
A formal equivalence checking methodology for Simulink and Register Transfer Level designs
796
A Formal Evaluation Approach to UML State Model Based on Polychromatic Sets
797
A formal evaluation of data flow path selection criteria
798
A Formal Evaluation of Mean-Time Access Latencies for Interleaved On-chip Shared Banked-memory in Manycores
799
A formal event structuring approach to real-time design
800
A formal examination of roles and permissions in access control
801
A formal executable semantics of Verilog
802
A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks
803
A formal experiment comparing extreme programming with traditional software construction
804
A formal foundation for object-oriented software evolution
805
A formal foundation for XrML
806
A formal framework (Expression + Analysis) for network security
807
A formal framework and evaluation method for network denial of service
808
A formal framework for agent itinerary specification, security reasoning and logic analysis
809
A formal framework for ASTRAL intralevel proof obligations
810
A Formal Framework for Automated Round-Trip Software Engineering in Static Aspect Weaving and Transformations
811
A Formal Framework For Building, Checking And Evolving Service Oriented Architectures
812
A formal framework for comparing group key agreement protocols with partial forward secrecy
813
A Formal Framework for Component Pr otocols Behavioural Compatibility
814
A formal framework for component-based embedded systems
815
A formal framework for conversion from binary to residue numbers
816
A formal framework for Data Mining process model
817
A Formal Framework for Defining Grid Systems
818
A Formal Framework for Description of Semantic Web Services
819
A formal framework for design and analysis of human-machine interaction
820
A formal framework for design component contracts
821
A formal framework for modeling and analysis of system-level dynamic power management
822
A Formal Framework for Modeling External Behavior of an Embedded System As a Black Box Structure
823
A Formal Framework for Multicast Communication
824
A Formal Framework for Mutation Testing
825
A Formal Framework for Network Security Design Synthesis
826
A formal framework for on-line software version change
827
A Formal Framework for Policy-Governed Institutional Agency
828
A formal framework for positive and negative detection schemes
829
A formal framework for predictive maintenance
830
A formal framework for prefetching based on the type-level access pattern in object-relational DBMSs
831
A Formal Framework for Provenance Security
832
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems
833
A Formal Framework for Retainment Patterns for Trace-Based Model Transformations
834
A formal framework for robot learning and control under model uncertainty
835
A formal framework for single level decomposition of multilevel relations
836
A formal framework for software development using publish/Subscribe architecture
837
A formal framework for specifying design methods
838
A formal framework for testing with assertion checkers in mixed-signal simulation
839
A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems
840
A formal framework for the impacts of design strategies on requirements
841
A formal framework for the performance analysis of P2P networks protocols
842
A formal framework for the specification, analysis and generation of standardized hypermedia documents
843
A formal framework for the study of concurrent program testing
844
A formal Framework for Trust management of Service-oriented Systems
845
A Formal Framework for verification and validation of external behavioral models of Embedded Systems represented through Black Box Structures
846
A Formal Framework for Verification and Validation of External Behavioral Models of Embedded Systems through Use Case Models
847
A formal framework for verifying inter-firewalls consistency
848
A formal framework for weak constraint satisfaction based on fuzzy sets
849
A formal framework for web service broker to compose QoS measures
850
A formal framework of reconfigurable control based on model checking
851
A formal framework to build software agents
852
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
853
A Formal Framework to Optimise Component Dependency Resolution
854
A formal general framework and service access model for service grid
855
A formal generalization of the YOULA-parametrization for multivariable plants
856
A formal high level synthesis approach for DSP architectures
857
A Formal Interactivity Model for aWeb Community
858
A formal investigation of checking the input to critical systems
859
A Formal IT-Security Model for a Weak Fair-Exchange Cooperation with Non-repudiation Proofs
860
A formal knowledge representation system for the cognitive learning engine
861
A formal knowledge-based data-fusion language for safety-critical applications
862
A formal language approach for multi-sensor Wearable Health-Monitoring Systems
863
A Formal Language Approach in Fault Location on Distribution Power Systems
864
A formal language for access control policies in distributed environment
865
A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS)
866
A formal language for writing data base integrity constraints
867
A formal linearization by the Chebyshev interpolation and its applications
868
A Formal Linearization for a General Class of Time-varying Nonlinear Systems by the Cubic Hermite Interpolation and a Nonlinear Observer
869
A formal linearization for time-variant nonlinear systems by the cubic Hermite interpolation and its applications
870
A Formal Linearization Method by the Cubic Hermite Interpolation and its Application to an Estimation Problem of Environmental Sounds
871
A formal linearization method by the cubic Hermite interpolation and its applications
872
A formal linearization method by the cubic Hermite interpolation for nonlinear systems
873
A formal logic of plans in temporally rich domains
874
A Formal Mapping between Program Slicing and Z Specifications
875
A formal mapping of static information models into dynamic models for process planning and control purposes
876
A formal measurement of the cognitive complexity of texts in cognitive linguistics
877
A formal mechanism for assessing polymorphism in object-oriented systems
878
A formal meta-model of software process
879
A Formal Method Applied to the Automated Software Engineering with Quality Guarantees
880
A formal method approach to analyze the design of aircraft Flight Control Systems
881
A Formal Method Based Case Study for Access Control
882
A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application
883
A Formal Method for Analyzing Fair Exchange Protocols
884
A formal method for analyzing software architecture models in SAM
885
A formal method for avoiding hyperstaticity when connecting an exoskeleton to a human member
886
A formal method for building concurrent real-time software
887
A formal method for composing a network command language
888
A formal method for computer design verification
889
A formal method for cost and accuracy trade-off analysis in software assessment measures
890
A formal method for designing sequential circuits from synchronous flip-flops such as the J-K type using a hybrid synchronous-asynchronous technique
891
A formal method for early spacecraft design verification
892
A formal method for finite relation model based on symbolic logic
893
A formal method for hardware design using attribute grammars
894
A Formal Method for Optimal High-Level Casting of Heterogeneous Fixed-Point Adders and Subtractors
895
A formal method for program slicing
896
A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study)
897
A formal method for providing temporal equivalence in binary-to-binary translation of real-time applications
898
A formal method for proving programs correct
899
A Formal Method for Rapid SoC Prototyping
900
A formal method for selecting evaluation metrics for image segmentation
901
A formal method for software maintenance
902
A formal method for specification and refinement of real-time systems
903
A Formal Method for the Identification of Covert Storage Channels in Source Code
904
A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic
905
A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic
906
A Formal Method for Verifying Production Knowledge Base
907
A formal method of developing elevator group controllers based on S-ring and SPIN
908
A Formal Method of Measuring Interactivity in HRI
909
A Formal Method of Volunteer Computing
910
A Formal Method Support for Resource Modeling of Web Services Composition
911
A formal method to characterize robot reliability
912
A formal method to guarantee a deterministic behaviour of switched Ethernet networks for time-critical applications
913
A formal method to improve SystemVerilog functional coverage
914
A formal method to software integration in reuse
915
A Formal Methodology Applied to Secure Over-the-Air Automotive Applications
916
A formal methodology for acquiring and representing expert knowledge
917
A formal methodology for detection of vulnerabilities in an enterprise information system
918
A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs
919
A formal methodology for Enterprise Information Security risk assessment
920
A Formal Methodology for Network Protocol Fingerprinting
921
A formal methodology for the analysis and design of nonlinear fuzzy control systems
922
A Formal Methodology to Specify Hierarchical Agent-Based Systems
923
A formal methods approach to medical device review
924
A formal methods approach to pattern synthesis in reaction diffusion systems
925
A formal methods approach to the analysis of mode confusion
926
A Formal Model and Analysis of the MQ Telemetry Transport Protocol
927
A Formal Model and Efficient Traversal Algorithm for Generating Testbenches for Verification of IEEE Standard Floating Point Division
928
A formal model approach for the analysis and validation of the cooperative path planning of a UAV team
929
A Formal Model Description for Service Agents Negotiation
930
A Formal Model Driven Approach to Dependable Software Evolution
931
A Formal Model for Advanced Physical Annotations
932
A formal model for agent-based Coalition Formation in Electricity Markets
933
A formal model for assessing individual competence in enterprises
934
A formal model for automated processing of Web Services
935
A formal model for building a social network
936
A Formal Model for CARE Usability Properties Verification in Multimodal HCI
937
A Formal Model for Channel Passing in Web Service Composition
938
A Formal Model for Compensable Transactions
939
A Formal Model for Component-Based Embedded Software Development
940
A formal model for component-based software
941
A Formal Model for Component-Based System Assessment
942
A Formal Model for Coordination Behavior of the Organization in Multi Agent Systems
943
A formal model for coupling computer based system and physical systems
944
A Formal Model for Data Storage Security Evaluation
945
A formal model for document processing of business forms
946
A Formal Model for Dynamic Service Updates in Pervasive Computing
947
A Formal Model for dynamic Web Services Composition MAS-Based and Simple Security Analysis Using Spi Calculus
948
A Formal Model for Enabling RFID in Pharmaceutical Supply Chains
949
A Formal Model for English Auction Protocol
950
A formal model for exception handling in BPEL process
951
A formal model for flat role-based access control
952
A formal model for forensic storage media preparation tools
953
A Formal Model for Generating Integrated Functional and User Interface Test Cases
954
A formal model for hierarchical policy contexts
955
A Formal Model for Integrating Multiple Views
956
A formal model for masquerade detection software based upon natural mimicry
957
A Formal Model for Metamorphic Relation Decomposition
958
A Formal Model for Mixed Initiative Service Composition
959
A formal model for mobile agent systems using Z
960
A formal model for module interconnection languages
961
A Formal Model for Network-Wide Security Analysis
962
A Formal Model for Optimal Autonomous Task Hibernation in Constrained Embedded Systems
963
A formal model for protocol interworking in ISDN
964
A Formal Model for Quality of Service Measurement in e-Government
965
A formal model for reactive robot plans
966
A Formal Model for Real-Time Automated Manufacturing System Control with Timed-MPSG
967
A Formal Model for Resource Protections in Web Service Applications
968
A formal model for role-based access control with constraints
969
A Formal Model for Security-Aware dynamic Web Services Composition
970
A formal model for self-adaptive and self-healing organizations
971
A Formal Model for Service Choreography with Exception Handling and Finalization
972
A formal model for SIMD computation
973
A formal model for software evolution
974
A Formal Model for Software Project Management
975
A Formal Model for Space Based Ubiquitous Computing
976
A formal model for specification and optimization of flexible communication systems
977
A Formal Model for Supporting Frameworks of Dynamic Service Update Based on OSGi
978
A Formal Model for the Building of State Machines: A Lightweight Approach
979
A Formal Model for the Requirements Diagrams of SysML
980
A formal model for the reuse of software specifications
981
A formal model for trust in dynamic networks
982
A formal model for Unix setuid
983
A formal model for user preference
984
A formal model for verifying stealthy attacks on state estimation in power grids
985
A formal model for verifying the impact of stealthy attacks on optimal power flow in power grids
986
A Formal Model for Web Service Composition and Its Application Analysis
987
A Formal Model for Work Flows
988
A Formal Model forWeb Service Choreography Description Language (WS-CDL)
989
A formal model inspired on human decision-making process
990
A formal model of a large memory that supports efficient execution
991
A formal model of a run-time kernel for Ravenscar
992
A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware
993
A formal model of computation for sensory-based robotics
994
A formal model of computer architectures for digital system design environments
995
A formal model of computing with words
996
A formal model of concurrency for distributed object-oriented systems
997
A Formal Model of Context-Awareness and Context-Dependency
998
A Formal Model of Crash Recovery in a Distributed System
999
A formal model of data integration approach based on semantic dataweb
1000
A formal model of dynamic evolvement for enterprise intelligent component
