Sciweavers

1580 search results - page 102 / 316
» Modules for Crosscutting Models
Sort
View
IEEESP
2007
98views more  IEEESP 2007»
13 years 8 months ago
Educating Students to Create Trustworthy Systems
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
Richard S. Swart, Robert F. Erbacher

Book
1331views
15 years 5 months ago
Physical Audio Signal Processing
"Delay effects, such as phasing, flanging, chorus, and artificial reverberation, provide an excellent starting point for the subject of digital waveguide modeling because both...
Julius O. Smith III
ATVA
2009
Springer
142views Hardware» more  ATVA 2009»
13 years 12 months ago
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
Joakim Byg, Kenneth Yrke Jørgensen, Jir&iac...
ANSS
2004
IEEE
13 years 11 months ago
Object-Oriented SIMSCRIPT
A new object-oriented version of the SIMSCRIPT programming language is under development. Incorporating modules and object classes, the new language is designed for modular, objec...
Stephen V. Rice, Ana Marjanski, Harry M. Markowitz...
WSC
2000
13 years 9 months ago
High resolution satellite communication simulation
The purpose of this paper is to develop and demonstrate Simulation of Satellite Communications (SIMSATCOM), a high resolution, stochastic simulation of satellite communications fo...
Brandee L. Murphy