Sciweavers

1236 search results - page 110 / 248
» Programming by Demonstration for Information Agents
Sort
View
CCS
2010
ACM
14 years 11 months ago
DIFC programs by automatic instrumentation
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
William R. Harris, Somesh Jha, Thomas W. Reps
GECCO
2005
Springer
132views Optimization» more  GECCO 2005»
15 years 4 months ago
Evolutionary testing of state-based programs
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...
Phil McMinn, Mike Holcombe
ESOP
2005
Springer
15 years 4 months ago
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
Michael Leuschel, Germán Vidal
COOPIS
2002
IEEE
15 years 4 months ago
Regulating Work in Digital Enterprises: A Flexible Managerial Framework
This paper demonstrates that work in digital enterprises—like work in conventional enterprises— can be carried out effectively by autonomous agents, subject to a regulatory r...
Takahiro Murata, Naftaly H. Minsky
CIMCA
2008
IEEE
15 years 5 months ago
The C++ Hybrid Imperative Meta-Programmer: CHIMP
Neither the C nor the C++ languages support reflection and their meta-programming capabilities are very limited. Both of these problems can be addressed by adding a preprocessing...
John Kenyon, Frederick C. Harris Jr., Sergiu M. Da...