1115 search results - page 98 / 223 » An Abstract Look at Realizability |
137
click to vote
MKM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
131
click to vote
TEAA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Todays data stream management systems (DSMSs) lack security functionality. Based on adversary scenarios we show how a DSMS architecture can be protected. We sketch a gene...
119
click to vote
VISUAL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. An ongoing project is described which seeks to add to our understanding about the real challenge of semantic image retrieval. Consideration is given to the plurality of t...
115
click to vote
ARGMAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
155
click to vote
AWCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper proposes an approach to dynamically reconfiguring service-oriented applications from a business perspective: CAFISEadapt, which defines both business-level and...