1317 search results - page 48 / 264 » Fusions of Description Logics and Abstract Description Syste... |
130
click to vote
ASIAN
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...
183
click to vote
PPSWR
2005
Springer
15 years 7 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
112
click to vote
KR
2004
Springer
15 years 7 months ago
2004
Springer
This paper is about decision making based on real-world descriptions of a domain. There are many domains where differentpeoplehavedescribedvariouspartsoftheworldatdifferent f abst...
105
click to vote
CMSB
2006
Springer
15 years 5 months ago
2006
Springer
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
114
click to vote
ISCA
2002
IEEE
15 years 1 months ago
2002
IEEE
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration's Marshall Space Flight Center to...