Sciweavers

11022 search results - page 1812 / 2205
» Programming Systems for Autonomy
Sort
View
GECCO
2009
Springer
138views Optimization» more  GECCO 2009»
16 years 1 months ago
Analysis of micro-behavior and bounded rationality in double auction markets using co-evolutionary GP
We investigate the dynamics of trader behaviors using a co-evolutionary genetic programming system to simulate a double-auction market. The objective of this study is twofold. Fir...
Shu-Heng Chen, Ren-Jie Zeng, Tina Yu
ICEGOV
2009
ACM
16 years 1 months ago
Framework of e-governance at the local government level
With presumptions that e-government theories prevail in various formats and concepts around the globe, nations and institutions, not many examples are there to emulate in terms of...
Hakikur Rahman
SIGCSE
2010
ACM
183views Education» more  SIGCSE 2010»
16 years 1 months ago
Electronic commerce virtual laboratory
Website security is essential for successful e-commerce ventures, but the vital “how-to” components of security are often lacking in academic courses. This paper describes our...
Joel Coffman, Alfred C. Weaver
AICCSA
2008
IEEE
266views Hardware» more  AICCSA 2008»
16 years 1 months ago
A novel flow-sensitive type and effect analysis for securing C code
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
Syrine Tlili, Mourad Debbabi
APSEC
2008
IEEE
16 years 1 months ago
A Heap Model for Java Bytecode to Support Separation Logic
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
Chenguang Luo, Guanhua He, Shengchao Qin
« Prev « First page 1812 / 2205 Last » Next »