12774 search results - page 393 / 2555 » A Framework for Proof Systems |
224
Voted
ACSAC
2010
IEEE
15 years 5 months ago
2010
IEEE
Current post-mortem cyber-forensic techniques may cause significant disruption to the evidence gathering process by breaking active network connections and unmounting encrypted di...
243
Voted
ECWEB
2010
Springer
15 years 5 months ago
2010
Springer
: Virtual worlds have become very popular recently, in particular 3D virtual worlds with a built-in virtual currency that enables providers and users to monetize their creations. V...
222
Voted
RE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...
191
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper presents a versatile hardware/software cosimulation and co-design environment for embedded 3D graphics accelerators. The GRAphics AcceLerator design exploration framewo...
186
Voted
WICSA
2008
15 years 9 months ago
2008
Processes and techniques for the development of enterprise software are best served when infused with practical experience. Pragmatic reflection on what works and what doesn'...