4286 search results - page 443 / 858 » Formalizing Service Interactions |
189
click to vote
FMOODS
2007
15 years 8 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
170
click to vote
ACL
1998
15 years 8 months ago
1998
In orderto realize their full potential, multimodalsystems need to support not just input from multiple modes, but also synchronized integration of modes. Johnston et al (1997) mo...
167
click to vote
IJCAI
1997
15 years 8 months ago
1997
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
162
click to vote
AMW
2009
15 years 8 months ago
2009
Abstract. This paper introduces a formalization of a set of spatial semantic integrity constraints on an extended-relational database model. The formalization extends traditional n...
134
click to vote
ENTCS
2008
15 years 6 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...