2748 search results - page 198 / 550 » Generating Object-Z Specifications from Use Cases |
221
Voted
ICDE
2009
IEEE
16 years 2 months ago
2009
IEEE
-- In the database outsourcing paradigm, a data owner (DO) delegates its DBMS administration to a specialized service provider (SP) that receives and processes queries from clients...
119
click to vote
RSP
2005
IEEE
15 years 6 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
113
click to vote
ANNPR
2006
Springer
15 years 4 months ago
2006
Springer
We discuss incremental training of support vector machines in which we approximate the regions, where support vector candidates exist, by truncated hypercones. We generate the trun...
110
Voted
AAAI
1994
15 years 2 months ago
1994
Techniques that traditionally have been useful for retrieving same-domain analogies from small single-use knowledge bases, such as spreading activation and indexing on selected fe...
106
Voted
ACL
2010
14 years 10 months ago
2010
In the business world, analyzing and dealing with risk permeates all decisions and actions. However, to date, risk identification, the first step in the risk management cycle, has...