7596 search results - page 1457 / 1520 » Challenges in forensic computing |
WETICE
1997
IEEE
14 years 2 months ago
1997
IEEE
When an artifact is designed the typical output consists of documents describing the final result of a long series of deliberations and tradeoffs by the participants of collaborat...
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
ECML
1993
Springer
14 years 2 months ago
1993
Springer
Research in systems where learning is integrated to other components like problem solving, vision, or natural language is becoming an important topic for Machine Learning. Situatio...
ACSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
The early 1980s saw the development of some rather sophisticated distributed systems. These were not merely networked file systems: rather, using remote procedure calls, hierarchi...
CASES
2007
ACM
14 years 1 months ago
2007
ACM
The last decade has witnessed the emergence of the Application Specific Instruction-set Processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user...