Sciweavers

879 search results - page 149 / 176
» Software Reuse in an Industrial Setting: A Case Study
Sort
View
ATAL
2010
Springer
13 years 8 months ago
Model checking detectability of attacks in multiagent systems
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
GECCO
2008
Springer
112views Optimization» more  GECCO 2008»
13 years 8 months ago
Handling dynamic data structures in search based testing
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
Kiran Lakhotia, Mark Harman, Phil McMinn
CORR
2006
Springer
131views Education» more  CORR 2006»
13 years 7 months ago
A framework of reusable structures for mobile agent development
-- Mobile agents research is clearly aiming towards imposing agent based development as the next generation of tools for writing software. This paper comes with its own contributio...
Tudor Marian, Bogdan Dumitriu, Mihaela Dinsoreanu,...
ETS
2002
IEEE
78views Hardware» more  ETS 2002»
13 years 7 months ago
Technology in Organizational Learning: Using High Tech for High Touch
This study describes the use of technology to enhance an experiential adult learning process, which occurred in a participatory organizational climate assessment. In this case, co...
Jane B. Maestro-Scherer, Robert E. Rich, Clifford ...
OOPSLA
2010
Springer
13 years 6 months ago
Refactoring references for library migration
This report is a companion to the paper “Refactoring References for Library Migration” published at the ACM SIGPLAN International Conference on Systems, Programming, Languages...
Puneet Kapur, Bradley Cossette, Robert J. Walker