Sciweavers

15155 search results - page 76 / 3031
» System Software
Sort
View
ICFEM
2010
Springer
13 years 7 months ago
Model Checking Hierarchical Probabilistic Systems
Jun Sun 0001, Songzheng Song, Yang Liu 0003
APSEC
2010
IEEE
13 years 5 months ago
Rule-Based Composition Behaviors in Dynamic Plug-In Systems
Markus Jahn, Markus Löberbauer, Reinhard Wolf...
IRI
2007
IEEE
14 years 4 months ago
The Certification of Software Tools with respect to Software Standards
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
Panuchart Bunyakiati, Anthony Finkelstein, David S...
IJHPCA
2006
77views more  IJHPCA 2006»
13 years 10 months ago
An Interoperability Approach to System Software, Tools, and Libraries for Clusters
Systems software for clusters typically derives from a multiplicity of sources: the kernel itself, software associated with a particular distribution, site-specific purchased or o...
Ewing L. Lusk, Narayan Desai, Rick Bradshaw, Andre...