Sciweavers

8446 search results - page 1301 / 1690
» A Process Compensation Language
Sort
View
PASTE
2005
ACM
15 years 10 months ago
String analysis for x86 binaries
Information about string values at key points in a program can help program understanding, reverse engineering, and forensics. We present a static-analysis technique for recoverin...
Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh
ATAL
2005
Springer
15 years 10 months ago
Law-governed Linda as a semantics for agent dialogue protocols
Tuple spaces and the associated Linda language are a popular model for distributed computation, and Law-Governed Linda (LGL) is a variant allowing processes to have differential ...
Sylvie Doutre, Peter McBurney, Michael Wooldridge
ATAL
2005
Springer
15 years 10 months ago
OWL ontology translation based on the O3F framework
This paper presents an approach for ontology translation in the O3F ontology framework and a concrete implemented agent that translates between ontologies expressed in OWL. In the...
Luís Mota, Luís Miguel Botelho
ATAL
2005
Springer
15 years 10 months ago
An integrated framework for adaptive reasoning about conversation patterns
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
Michael Rovatsos, Felix A. Fischer, Gerhard Wei&sz...
CC
2005
Springer
134views System Software» more  CC 2005»
15 years 10 months ago
Jazz: A Tool for Demand-Driven Structural Testing
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
Jonathan Misurda, James A. Clause, Juliya L. Reed,...
« Prev « First page 1301 / 1690 Last » Next »