13618 search results - page 2580 / 2724 » The Newton Operating System |
139
click to vote
FAC
2007
15 years 3 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...
142
Voted
IJSWIS
2007
15 years 3 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 ...
128
Voted
TCBB
2008
15 years 3 months ago
2008
Abstract-- The trans-genomic query (TGQ) problem -- enabling the free query of biological information, even across genomes -- is a central challenge facing bioinformatics. Solution...
136
Voted
TEC
2008
15 years 3 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...
153
Voted
JAIR
2007
15 years 3 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...