9370 search results - page 88 / 1874 » An Abstract Notion of Application |
127
click to vote
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
90
Voted
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
115
Voted
IMR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract: This paper describes an approach to construct unstructured tetrahedral and hexahedral meshes for a domain with multiple materials. In earlier works, we developed an octre...
MOBIDE
2005
ACM
15 years 6 months ago
2005
ACM
In this paper, we present an extensible approach to the adaptation of Web information delivery according to different and possibly heterogeneous contexts. The approach is based o...