Sciweavers

1106 search results - page 94 / 222
» Software That Can Think and Do
Sort
View
JODL
2007
98views more  JODL 2007»
15 years 6 months ago
The Florida Digital Archive and DAITSS: a working preservation repository based on format migration
: The Florida Digital Archive is a long-term digital preservation repository for the use of the libraries of the public universities of Florida. It is managed by the Florida Center...
Priscilla Caplan
ICSE
2010
IEEE-ACM
15 years 11 months ago
Adaptive bug isolation
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...
Piramanayagam Arumuga Nainar, Ben Liblit
ECOOP
2000
Springer
15 years 10 months ago
Automated Test Case Generation from Dynamic Models
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
Peter Fröhlich, Johannes Link
CANS
2006
Springer
136views Cryptology» more  CANS 2006»
15 years 10 months ago
Watermarking Essential Data Structures for Copyright Protection
Software watermarking is a new research area that aims at providing copyright protection for commercial software. It minimizes software piracy by hiding copyright signatures inside...
Qutaiba Albluwi, Ibrahim Kamel
ESOP
2005
Springer
15 years 12 months ago
Programming with Explicit Security Policies
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
Andrew C. Myers