9370 search results - page 182 / 1874 » An Abstract Notion of Application |
165
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Even though the semantic web become actual topic of research recently, there are no complex solutions for building semantic applications yet to our best knowledge. We des...
169
click to vote
TACAS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
156
click to vote
JAVACARD
2000
15 years 10 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
158
click to vote
DALT
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
267
click to vote
MCM
2011
14 years 9 months ago
2011
Abstract. In this paper we provide sharp bounds for the error in approximating the Riemann-Stieltjes integral R b a f (t) du (t) by the trapezoidal rule f (a) + f (b) 2 [u (b) u (a...