9370 search results - page 96 / 1874 » An Abstract Notion of Application |
113
Voted
ADBIS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. As XML becomes a popular data representation and exchange format over the web, XML schema design has become an important research area. Formal Concept Analysis (FCA) has ...
90
Voted
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
109
Voted
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
105
Voted
AIPS
2011
14 years 4 months ago
2011
In recent years, there has been considerable interest in the use of planning techniques in new media and computer games. Many traditional planning notions no longer apply in the c...
91
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...