Sciweavers

2560 search results - page 346 / 512
» Analysis Tool for Honeypot Systems
Sort
View
KBSE
2000
IEEE
15 years 11 months ago
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
Sarfraz Khurshid, Daniel Jackson
VRML
1998
ACM
15 years 10 months ago
Visualization Products On-Demand Through the Web
We describe our efforts in providing REINAS (Realtime Environmental Information Network and Analysis System) weather visualization products on demand through the web. As the REINA...
Suzana Djurcilov, Alex Pang
SIGSOFT
1994
ACM
15 years 10 months ago
Exploiting Style in Architectural Design Environments
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
David Garlan, Robert Allen, John Ockerbloom
PROCEDIA
2010
87views more  PROCEDIA 2010»
15 years 4 months ago
Forecast sensitivity to the observation error covariance in variational data assimilation
The development of the adjoint of the forecast model and of the adjoint of the data assimilation system (adjoint-DAS) make feasible the evaluation of the derivative-based forecast...
Dacian N. Daescu
NGITS
1999
Springer
15 years 10 months ago
From Object-Process Diagrams to a Natural Object-Process Language
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
Mor Peleg, Dov Dori