1948 search results - page 133 / 390 » Formalizing Mirror Theory |
291
click to vote
ATC
2010
Springer
15 years 4 months ago
2010
Springer
Co-Space refers to interactive virtual environment modelled after the real world we are situated in. Through realistic 3D modelling and animation technologies, Co-Space simulates t...
229
click to vote
SIGMOD
2008
ACM
16 years 5 months ago
2008
ACM
We present SchemaScope, a system to derive Document Type Definitions and XML Schemas from corpora of sample XML documents. Tools are provided to visualize, clean, and refine exist...
157
click to vote
IEEEARES
2009
IEEE
16 years 13 days ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...
163
click to vote
WIA
2009
Springer
16 years 6 days ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
181
Voted
LOPSTR
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...