Sciweavers

9739 search results - page 305 / 1948
» Object-Oriented Analysis and Design
Sort
View
IJSN
2008
147views more  IJSN 2008»
15 years 7 months ago
Formal modelling and analysis of XML firewall for service-oriented systems
: Firewalls have been designed as a major component to protect a network or a server from being attacked. However, due to their emphasis on packet filtering rather than verifying u...
Haiping Xu, Mihir M. Ayachit, Abhinay Reddyreddy
TCAD
2008
103views more  TCAD 2008»
15 years 7 months ago
Topology-Based Performance Analysis and Optimization of Latency-Insensitive Systems
Latency-insensitive protocols allow system-on-chip (SoC) engineers to decouple the design of the computing cores from the design of the intercore communication channels while follo...
Rebecca L. Collins, Luca P. Carloni
IWC
2000
106views more  IWC 2000»
15 years 7 months ago
An analysis of errors in interactive proof attempts
The practical utility of interactive, user-guided, theorem proving depends on the design of good interaction environments, the study of which should be grounded in methods of rese...
J. Stuart Aitken, Thomas F. Melham
ATAL
2004
Springer
16 years 21 days ago
About Engineering Complex Systems: Multiscale Analysis and Evolutionary Engineering
Abstract. We describe an analytic approach, multiscale analysis, that can demonstrate the fundamental limitations of decomposition based engineering for the development of highly c...
Yaneer Bar-Yam
EURODAC
1995
IEEE
148views VHDL» more  EURODAC 1995»
15 years 11 months ago
Software system for semiconductor devices, monolith and hybrid ICs thermal analysis
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...
Konstantin O. Petrosjanc, I. A. Kharitonov, N. I. ...