549 search results - page 54 / 110 » Verification condition generation for conditional informatio... |
102
Voted
FORTE
2008
15 years 2 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
101
Voted
AIMSA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Spoken audio is an important source of information available to knowledge extraction and management systems. Organization of spoken messages by priority and content can f...
178
click to vote
SIGMOD
2007
ACM
16 years 22 days ago
2007
ACM
The Boolean semantics of SQL queries cannot adequately capture the "fuzzy" preferences and "soft" criteria required in non-traditional data retrieval applicati...
ISCA
2003
IEEE
15 years 5 months ago
2003
IEEE
On a N-way issue superscalar processor, the front end instruction fetch engine must deliver instructions to the execution core at a sustained rate higher than N instructions per c...
224
click to vote
ICDE
2003
IEEE
16 years 1 months ago
2003
IEEE
The XML Wrapper is a new feature of the federated database capabilities of DB2/UDB v8. It enables users and applications to issue SQL queries against XML data from a variety of so...