Sciweavers

1735 search results - page 276 / 347
» Using UML for Business Object Based Systems Modeling
Sort
View
JSS
2002
90views more  JSS 2002»
13 years 8 months ago
Producing reliable software: an experiment
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
Carol Smidts, Xin Huang, James C. Widmaier
SIGGRAPH
1998
ACM
14 years 20 days ago
The Office of the Future: A Unified Approach to Image-based Modeling and Spatially Immersive Displays
We introduce ideas, proposed technologies, and initial results for an office of the future that is based on a unified application of computer vision and computer graphics in a sys...
Ramesh Raskar, Greg Welch, Matt Cutts, Adam Lake, ...
BMCBI
2010
208views more  BMCBI 2010»
13 years 9 months ago
A multi-filter enhanced genetic ensemble system for gene selection and sample classification of microarray data
Background: Feature selection techniques are critical to the analysis of high dimensional datasets. This is especially true in gene selection from microarray data which are common...
Pengyi Yang, Bing Bing Zhou, Zili Zhang, Albert Y....
ECSCW
1993
13 years 10 months ago
COLA: a Lightweight Platform for CSCW
: Despite the reliance of cooperative applications on the facilities provided by distributed systems, little consideration is given by these systems to the support of cooperative w...
Jonathan Trevor, Tom Rodden, Gordon S. Blair
SPIN
2004
Springer
14 years 2 months ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp