Sciweavers

4814 search results - page 746 / 963
» Combining abstract interpreters
Sort
View
SAC
2004
ACM
14 years 4 months ago
Knowledge-based conversational agents and virtual storytelling
Abstract. We describe an architecture for building speech-enabled conversational agents, deployed as self-contained Web services, with ability to provide inference processing on ve...
Paul Tarau, Elizabeth Figa
ACOM
2004
Springer
14 years 4 months ago
Formulating Agent Communication Semantics and Pragmatics as Behavioral Expectations
Abstract. Although several approaches to the semantics of agent communication have been proposed, none of them is really suitable for dealing with agent autonomy, which is a decisi...
Matthias Nickles, Michael Rovatsos, Gerhard Wei&sz...
ADHOCNOW
2004
Springer
14 years 4 months ago
Cross-Layer Optimization for High Density Sensor Networks: Distributed Passive Routing Decisions
Abstract. The resource limited nature of WSNs require that protocols implemented on these networks be energy-efficient, scalable and distributed. This paper presents an analysis of...
Primoz Skraba, Hamid K. Aghajan, Ahmad Bahai
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
14 years 4 months ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
AMAST
2004
Springer
14 years 4 months ago
A Generic Software Safety Document Generator
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
Ewen Denney, Ram Prasad Venkatesan