3521 search results - page 353 / 705 » Algorithmic Control in Concurrent Computations |
172
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
154
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper addresses model reduction for a Markov chain on a large state space. A simulation-based framework is introduced to perform state aggregation of the Markov chain base...
168
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
We propose an approach for the selective enforcement of access control restrictions in, possibly distributed, large data collections based on two basic concepts: i) flexible autho...
153
click to vote
EJC
2010
14 years 11 months ago
2010
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
138
click to vote
PPSN
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the integration between a co-operative co-evolutionary genetic algorithm (CCGA) and four evolutionary multiobjective optimisation algorithms (EMOAs): a multi-ob...