Sciweavers

1671 search results - page 262 / 335
» Language Constructs for Multi-agent Programming
Sort
View
ENTCS
2006
90views more  ENTCS 2006»
14 years 12 months ago
A Framework for Engineering Interactions in Java-based Component Systems
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mi...
ENTCS
2006
184views more  ENTCS 2006»
14 years 12 months ago
Scannerless Boolean Parsing
Scannerless generalized parsing techniques allow parsers to be derived directly from unified, declarative specifications. Unfortunately, in order to uniquely parse existing progra...
Adam Megacz
MT
1998
91views more  MT 1998»
14 years 11 months ago
A Controlled Skip Parser
Real-world natural language sentences are long and complex, and always contain unexpected grammatical constructions. It even includes noise and ungrammaticality. This paper descri...
Kenji Yamada
TCC
2009
Springer
141views Cryptology» more  TCC 2009»
16 years 12 days ago
Weak Verifiable Random Functions
Verifiable random functions (VRFs), introduced by Micali, Rabin and Vadhan, are pseudorandom functions in which the owner of the seed produces a public-key that constitutes a commi...
Zvika Brakerski, Shafi Goldwasser, Guy N. Rothblum...
SEKE
2009
Springer
15 years 6 months ago
Extending AOP to Support Broad Runtime Monitoring Needs
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...
Amjad Nusayr, Jonathan Cook