Sciweavers

2339 search results - page 362 / 468
» Models and Tools for Mulan Applications
Sort
View
IADIS
2003
15 years 7 months ago
Using Combined Markov Chains to Predict WWW Navigation Paths
The Internet network provides access to several hundreds of million sites and expands at a rate of a million pages a day. Yet, given the rapid and anarchical nature of its evoluti...
Y. Hafri
WSC
1998
15 years 7 months ago
Windows-based Animation with PROOF
Proof AnimationTM is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsize...
James O. Henriksen
WSC
1989
15 years 7 months ago
A general purpose animator
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
Daniel T. Brunner, James O. Henriksen
JTRES
2010
ACM
15 years 6 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
CCE
2006
15 years 6 months ago
Ontological informatics infrastructure for pharmaceutical product development and manufacturing
Informatics infrastructure plays a crucial role in supporting different decision making activities related to pharmaceutical product development, pilot plant and commercial scale ...
Venkat Venkatasubramanian, Chunhua Zhao, Girish Jo...