3330 search results - page 575 / 666 » software 2010 |
84
Voted
TSE
2010
14 years 8 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...
TVCG
2010
14 years 8 months ago
2010
—It remains challenging for information visualization novices to rapidly construct visualizations during exploratory data analysis. We conducted an exploratory laboratory study i...
TVCG
2010
14 years 8 months ago
2010
—Most images used in visualization are computed with the planar pinhole camera. This classic camera model has important advantages such as simplicity, which enables efficient sof...
101
click to vote
TWEB
2010
14 years 8 months ago
2010
The Business Process Execution Language (BPEL) standardizes the development of composite enterprise applications that make use of software components exposed as Web services. BPEL...
90
Voted
VIROLOGY
2010
14 years 8 months ago
2010
By looking on how computer security issues are handled today, dealing with numerous and unknown events is not easy. Events need to be normalized, abnormal behaviors must be describ...