1432 search results - page 59 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
130
Voted
ACSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
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...
231
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we introduce the combinatorial auction model for resource management in grids. We propose a combinatorial auction-based resource allocation protocol in which a user...
119
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
132
click to vote
BPM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Continuous optimization of business process execution including its adaptation to changes within the market environment or the company itself becomes increasingly importa...
135
click to vote
BMCBI
2004
15 years 3 months ago
2004
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...