5838 search results - page 988 / 1168 » A File System for System Programming in Ubiquitous Computing |
163
click to vote
DBSEC
1996
15 years 5 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
AAAI
1990
15 years 5 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
114
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We introduce a novel software-protection method, which can be fully implemented with today's technologies, that provides traitor tracing and license-enforcement functionalitie...
120
click to vote
COR
2008
15 years 3 months ago
2008
-- The optimal buffer allocation in queueing network systems is a difficult stochastic, non-linear, integer mathematical programming problem. Moreover, the objective function, the ...
124
click to vote
TOG
2008
15 years 3 months ago
2008
We propose a data-driven approach to automatically generate a scene where tens to hundreds of characters densely interact with each other. During off-line processing, the close in...