Sciweavers

9018 search results - page 1066 / 1804
» 3D-Brain Model Software
Sort
View
AOSD
2010
ACM
16 years 27 days ago
A permission system for secure AOP
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
Wouter De Borger, Bart De Win, Bert Lagaisse, Wout...
IWPC
2003
IEEE
16 years 26 days ago
YAAB (Yet Another AST Browser): Using OCL to Navigate ASTs
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
Giuliano Antoniol, Massimiliano Di Penta, Ettore M...
CCGRID
2002
IEEE
16 years 17 days ago
Using TOP-C and AMPIC to Port Large Parallel Applications to the Computational Grid
Porting large applications to distributed computing platforms is a challenging task from a software engineering perspective. The Computational Grid has gained tremendous popularit...
Gene Cooperman, Henri Casanova, Jim Hayes, Thomas ...
ICECCS
2002
IEEE
91views Hardware» more  ICECCS 2002»
16 years 16 days ago
Mars Polar Lander Fault Identification Using Model-based Testing
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
Mark R. Blackburn, Robert Busser, Aaron Nauman, Ro...
ASWEC
2000
IEEE
16 years 19 hour ago
Formal Requirements Engineering: Learning from the Students
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
J. Paul Gibson
« Prev « First page 1066 / 1804 Last » Next »