Sciweavers

1402 search results - page 49 / 281
» A Practical Agent Programming Language
Sort
View
ATAL
2004
Springer
14 years 1 months ago
On Ability to Autonomously Execute Agent Programs with Sensing
Most existing work in agent programming assumes an execution model where an agent has a knowledge base (KB) about the current state of the world, and makes decisions about what to ...
Sebastian Sardiña, Giuseppe De Giacomo, Yve...
CC
2003
Springer
102views System Software» more  CC 2003»
14 years 1 months ago
Precision in Practice: A Type-Preserving Java Compiler
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
Christopher League, Zhong Shao, Valery Trifonov
SAS
2009
Springer
147views Formal Methods» more  SAS 2009»
14 years 8 months ago
The Complexity of Andersen's Analysis in Practice
Abstract. While the tightest proven worst-case complexity for Andersen's points-to analysis is nearly cubic, the analysis seems to scale better on real-world codes. We examine...
Manu Sridharan, Stephen J. Fink
SRDS
1999
IEEE
14 years 10 days ago
An Agent Platform for Reliable Asynchronous Distributed Programming
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...
Luc Bellissard, Noel De Palma, André Freyss...
COLING
2002
13 years 7 months ago
A Linguistic Discovery Program that Verbalizes its Discoveries
We describe a discovery program, called UNIVAUTO (UNIVersals AUthoringTOol), whose domain of application is the study of language universals, a classic trend in contemporary lingu...
Vladimir Pericliev