216 search results - page 40 / 44 » A Foundation for Requirements Analysis of Dependable Softwar... |
IMR
2003
Springer
14 years 20 days ago
2003
Springer
This paper proposes a method for predicting the complexity of meshing Computer Aided Design (CAD) geometries with unstructured, hexahedral, finite elements. Meshing complexity ref...
WETICE
2000
IEEE
13 years 12 months ago
2000
IEEE
The CollabLogger is a visual tool that supports usability analyses of human-computer interaction in a team environment. Participants in our computer-mediated activity were engaged...
DAC
1997
ACM
13 years 11 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
TSE
2010
13 years 5 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
IEEEARES
2010
IEEE
14 years 2 months ago
2010
IEEE
—Collaborations by the use of inter-organizational business processes can help companies to achieve a competitive edge over competing businesses. Typically, these collaborations ...