13489 search results - page 2559 / 2698 » Operating System |
175
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
184
click to vote
IJSWIS
2007
15 years 6 months ago
2007
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is need for ...
179
click to vote
TEC
2008
15 years 6 months ago
2008
An important strength of learning classifier systems (LCSs) lies in the combination of genetic optimization techniques with gradient-based approximation techniques. The chosen app...
175
click to vote
TOG
2008
15 years 6 months ago
2008
We propose a novel solid/fluid coupling method that treats the coupled system in a fully implicit manner making it stable for arbitrary time steps, large density ratios, etc. In c...
148
click to vote
TOG
2008
15 years 6 months ago
2008
We describe a new vector-based primitive for creating smoothshaded images, called the diffusion curve. A diffusion curve partitions the space through which it is drawn, defining d...