Sciweavers

169 search results - page 11 / 34
» Adding Structure to Agent Programming Languages
Sort
View
VL
2005
IEEE
108views Visual Languages» more  VL 2005»
14 years 2 months ago
Achieving Flexibility in Direct-Manipulation Programming Environments by Relaxing the Edit-Time Grammar
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
Benjamin E. Birnbaum, Kenneth J. Goldman
FLAIRS
2001
13 years 10 months ago
A Background Layer of Health Monitoring and Error Handling for ObjectAgent
ObjectAgent is an agent-based, message-passing software architecture that utilizes natural language processing to provide autonomous control to complex systems. As a form of distr...
Joseph B. Mueller, Derek M. Surka, Joy J. Lin
ICALP
2009
Springer
14 years 3 months ago
Names Trump Malice: Tiny Mobile Agents Can Tolerate Byzantine Failures
Abstract. We introduce a new theoretical model of ad hoc mobile computing in which agents have severely restricted memory, highly unpredictable movement and no initial knowledge of...
Rachid Guerraoui, Eric Ruppert
LPAR
2004
Springer
14 years 2 months ago
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
Mark Bickford, Robert L. Constable, Joseph Y. Halp...
ICSOC
2009
Springer
13 years 6 months ago
Lightweight Composition of Ad-Hoc Enterprise-Class Applications with Context-Aware Enterprise Mashups
The huge demand for ad-hoc and situational enterprise-class applications led to a new kind of Web-based applications, known as enterprise mashups. End users from the business units...
Florian Gilles, Volker Hoyer, Till Janner, Katarin...