Sciweavers

3483 search results - page 355 / 697
» Using Subject-Oriented Modeling to Develop Jini Applications
Sort
View
WOA
2000
15 years 8 months ago
HEMASL: A Flexible Language to Specify Heterogeneous Agents
In the realization of agent-based applications the developer generally needs to use heterogeneous agent architectures, so that each application component can optimally perform its...
Simone Marini, Maurizio Martelli, Viviana Mascardi...
JPDC
2008
217views more  JPDC 2008»
15 years 6 months ago
Parallel techniques for information extraction from hyperspectral imagery using heterogeneous networks of workstations
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. In particular, NASA is continuously gath...
Antonio J. Plaza
SIGSOFT
2007
ACM
16 years 7 months ago
CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
Roberta Calegari, Mirco Musolesi, Franco Raimondi,...
ICSE
1999
IEEE-ACM
15 years 11 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
WSC
2000
15 years 8 months ago
A framework for Response Surface Methodology for simulation optimization
We develop a framework for automated optimization of stochastic simulation models using Response Surface Methodology. The framework is especially intended for simulation models wh...
H. Gonda Neddermeijer, Gerrit J. van Oortmarssen, ...