1199 search results - page 215 / 240 » Software Verification and Software Engineering a Practitione... |
165
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Data management lies at the core of most modern information technology deployments. Accordingly, the reliability of the database management system (DBMS) is critical to the reputa...
100
click to vote
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes the design of a low-cost, low-power smart imaging core that can be embedded in cameras. The core integrates an ARM 9 processor, a camera interface and two spe...
102
click to vote
SIGDOC
2004
ACM
15 years 7 months ago
2004
ACM
Software publishers and information service providers publish information about their own products and about other products and people. Additional content might be incidental, suc...
ACMSE
2007
ACM
15 years 6 months ago
2007
ACM
Many strategies have been proposed to address the problems associated with managing increasingly complex computing systems. IBM's Autonomic Computing (AC) paradigm is one suc...
114
click to vote
ERLANG
2008
ACM
15 years 3 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...