Sciweavers

1329 search results - page 134 / 266
» Analysis of Dynamic Communicating Systems by Hierarchical Ab...
Sort
View
FC
1999
Springer
160views Cryptology» more  FC 1999»
15 years 10 months ago
Anonymous Authentication of Membership in Dynamic Groups
Abstract. We present a series of protocols for authenticating an individual’s membership in a group without revealing that individual’s identity and without restricting how the...
Stuart E. Schechter, Todd Parnell, Alexander J. Ha...
MEMOCODE
2003
IEEE
15 years 11 months ago
Bridging CSP and C++ with Selective Formalism and Executable Specifications
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
William B. Gardner
CDC
2008
IEEE
124views Control Systems» more  CDC 2008»
16 years 26 days ago
Flight control of a rotary wing UAV - a practical approach
Abstract— This paper presents a novel application of the twotime scale controller for the full envelop flight control of a Rotary wing Unmanned Aerial Vehicle (RUAV). In this pa...
Bilal Ahmed, Hemanshu Roy Pota, Matthew Garratt
SG
2009
Springer
16 years 27 days ago
Interactive Context-Aware Visualization for Mobile Devices
Abstract. Utilizing context information—e.g. location, user aspects, or hardware capabilities—enables the presented generic framework to automatically control the selection and...
Mike Eissele, Daniel Weiskopf, Thomas Ertl
TSMC
2002
93views more  TSMC 2002»
15 years 6 months ago
Statistical analysis of the main parameters involved in the design of a genetic algorithm
Abstract--Most genetic algorithm (GA) users adjust the main parameters of the design of a GA (crossover and mutation probability, population size, number of generations, crossover,...
Ignacio Rojas, Jesús González, H&eac...