588 search results - page 78 / 118 » A Domain Specific Language for Cryptography |
IR
2006
13 years 7 months ago
2006
When searching for health information, results quality can be judged against available scientific evidence: Do search engines return advice consistent with evidence based medicine...
CORR
1999
Springer
13 years 7 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Though ontologies are widely used to solve some specific interoperability problems, there is no specific ontology defining what interoperability actually is, independentl...
AAAI
2008
13 years 10 months ago
2008
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
VAMOS
2010
Springer
13 years 9 months ago
2010
Springer
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...