2036 search results - page 192 / 408 » A generic type-and-effect system |
191
click to vote
ICTAI
2003
IEEE
16 years 13 days ago
2003
IEEE
This paper presents a generic cognitive vision platform for the automatic recognition of natural complex objects. The recognition consists of three steps : image processing for nu...
172
click to vote
NBIS
2009
Springer
15 years 11 months ago
2009
Springer
At present time, the maturity of P2P research field has pushed through new problems such us those related with security. For that reason, security starts to become one of the key...
205
click to vote
SRDS
2000
IEEE
15 years 11 months ago
2000
IEEE
Reliable multicast protocols can strongly simplify the design of distributed applications. However, it is hard to sustain a high multicast throughput when groups are large and het...
210
click to vote
HT
2000
ACM
15 years 11 months ago
2000
ACM
Many techniques exist for analyzing information domains in preparation for systems design. No systematic technique exists, however, for analyzing a system or domain in terms of it...
184
click to vote
TACAS
1999
Springer
15 years 11 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...