4708 search results - page 78 / 942 » Generating the Structure of Argument |
150
click to vote
SAC
2010
ACM
15 years 2 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
154
click to vote
RTAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Over the last thirty years, the MIL-STD 1553B data bus has been used in many embedded systems, like aircrafts, ships, missiles and satellites. However, the increasing number and c...
156
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Matrices are essential in many fields of computer science, especially when large amounts of data must be handled efficiently. Despite this demand for matrix software, we were una...
157
click to vote
ADC
2006
Springer
15 years 10 months ago
2006
Springer
Web information extraction is a fundamental issue for web information management and integrations. A common approach is to use wrappers to extract data from web pages or documents...
139
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Quality of Service (QoS) is becoming increasingly important with the rise of multimedia applications (e.g., voice over IP (VoIP), video conferencing, online gaming, and Internet...