Sciweavers

5232 search results - page 923 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
SP
1998
IEEE
106views Security Privacy» more  SP 1998»
14 years 1 days ago
Understanding Java Stack Inspection
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
Dan S. Wallach, Edward W. Felten
HASE
1997
IEEE
14 years 20 hour ago
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
Monica Brockmeyer, Farnam Jahanian, Elly Winner, C...
TOPNOC
2008
13 years 7 months ago
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wi...
JWSR
2007
104views more  JWSR 2007»
13 years 7 months ago
Dealing with Scale and Adaptation of Global Web Services Management
Service Oriented Architectures (SOA) are becoming the prevalent approach for realizing modern services and systems. SOA offers superior support for autonomy (decoupling) and heter...
William Vambenepe, Carol Thompson, Vanish Talwar, ...
BIB
2010
89views more  BIB 2010»
13 years 6 months ago
Knowledge-based data analysis comes of age
The emergence of high-throughput technologies for measuring biological systems has introduced problems for data interpretation that must be addressed for proper inference. First, ...
Michael F. Ochs