Sciweavers

2905 search results - page 451 / 581
» Formal Memetic Algorithms
Sort
View
SEMWEB
2007
Springer
15 years 4 months ago
Formulation of Hierarchical Task Network Service (De)composition
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
Seiji Koide, Hideaki Takeda
SFM
2007
Springer
15 years 4 months ago
Tackling Large State Spaces in Performance Modelling
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
William J. Knottenbelt, Jeremy T. Bradley
ACSAC
2006
IEEE
15 years 4 months ago
PolyUnpack: Automating the Hidden-Code Extraction of Unpack-Executing Malware
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
Paul Royal, Mitch Halpin, David Dagon, Robert Edmo...
ASWEC
2006
IEEE
15 years 4 months ago
Compatibility Test for Coordination Aspects of Software Components
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
Johannes Maria Zaha, Antonia Albani
IPPS
2006
IEEE
15 years 4 months ago
On collaborative content distribution using multi-message gossip
We study epidemic schemes in the context of collaborative data delivery. In this context, multiple chunks of data reside at different nodes, and the challenge is to simultaneousl...
Yaacov Fernandess, Dahlia Malkhi