Sciweavers

427 search results - page 19 / 86
» Applying Aspect-Orientation in Designing Security Systems: A...
Sort
View
CIC
2006
124views Communications» more  CIC 2006»
13 years 9 months ago
Chaotic Systems Synchronization in Secure Communication Systems
In this paper, synchronization of two chaotic signals is studied and analyzed. A nonlinear recursive backstepping scheme is utilized to design an appropriate control input signal ...
Ahmad Harb, Wajdi Ahmad
AOSE
2003
Springer
14 years 23 days ago
Activity Theory for the Analysis and Design of Multi-agent Systems
This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to st...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
IMAGING
2003
13 years 9 months ago
Spectral Imaging of Matisse's Pot of Geraniums: A Case Study
The accuracy of color image-acquisition systems is most often evaluated using test targets of uniform color patches imaged under optimal conditions. In artwork imaging, system per...
Roy S. Berns, Lawrence A. Taplin, Francisco H. Ima...
CCS
2003
ACM
14 years 23 days ago
MECA: an extensible, expressive system and language for statically checking security properties
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. ...
WSC
2008
13 years 9 months ago
Simplification and aggregation strategies applied for factory analysis in conceptual phase using simulation
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
Matias Urenda Moris, Amos Ng, Jacob Svensson