1743 search results - page 317 / 349 » Generalized Modal Satisfiability |
EMSOFT
2005
Springer
14 years 3 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
FC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We introduce a new cryptographic problem called time capsule signature. Time capsule signature is a ‘future signature’ that becomes valid from a specific future time...
ICDT
2005
ACM
14 years 3 months ago
2005
ACM
Abstract. A classical problem in query optimization is to find the optimal ordering of a set of possibly correlated selections. We provide an ion of this problem as a generalizati...
IMR
2005
Springer
14 years 3 months ago
2005
Springer
The first stage in an adaptive finite element scheme (cf. [CAS95, bor1]) consists in creating an initial mesh of a given domain Ω, which is used to perform an initial computati...
OTM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper targets with applications running on mobile devices and using context informations. Following previous studies from other authors, we extend the notion of cont...