Sciweavers

6348 search results - page 1028 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
ATAL
2003
Springer
13 years 12 months ago
An exploration of bugs and debugging in multi-agent systems
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
David Poutakidis, Lin Padgham, Michael Winikoff
MKWI
2008
171views Business» more  MKWI 2008»
13 years 9 months ago
Model-Driven Process Development Incorporating Human Tasks in Service-Oriented Grid Environments
: Grid computing infrastructures and service-oriented architectures commonly rely on web services as their implementation technology. This technology allows complex workflows to be...
Julian Reichwald, Tim Dörnemann, Thomas Barth...
WICSA
2008
13 years 9 months ago
Supporting the Evolution of Product Line Architectures with Variability Model Fragments
Evolution is a permanent challenge in product line engineering. Reusable assets such as software components or documents evolve continuously due to new customer requirements or te...
Deepak Dhungana, Thomas Neumayer, Paul Grünba...
SFP
2004
13 years 9 months ago
Generic proofs for combinator-based generic programs
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
Fermín Reig
GECCO
2008
Springer
112views Optimization» more  GECCO 2008»
13 years 9 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
« Prev « First page 1028 / 1270 Last » Next »