Sciweavers

15885 search results - page 2505 / 3177
» Strategic Software Engineering
Sort
View
162
Voted
VRML
2006
ACM
16 years 1 months ago
Using VRML to share large volumes of complex 3D geoscientific information via the Web
Scientists within Geoscience Australia (GA) create complex 3D models of geological structures, using specialised 3D modelling software. Very few people outside GA have access to t...
David Beard
215
Voted
EUROMICRO
2005
IEEE
16 years 1 months ago
Modelling of Input-Parameter Dependency for Performance Predictions of Component-Based Embedded Systems
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
Egor Bondarev, Peter H. N. de With, Michel R. V. C...
ISORC
2005
IEEE
16 years 1 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
ISSRE
2005
IEEE
16 years 1 months ago
Automated Checking for Windows Host Vulnerabilities
Evaluation of computing system security requires knowledge of the vulnerabilities present in the system and of potential attacks against the system. Vulnerabilities can be classif...
Matin Tamizi, Matt Weinstein, Michel Cukier
MSR
2005
ACM
16 years 1 months ago
Mining version histories to verify the learning process of Legitimate Peripheral Participants
Since code revisions reflect the extent of human involvement in the software development process, revision histories reveal the interactions and interfaces between developers and...
Shih-Kun Huang, Kang-min Liu
« Prev « First page 2505 / 3177 Last » Next »