2205 search results - page 240 / 441 » Mutation Operators for Specifications |
143
click to vote
FUIN
2008
15 years 4 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
121
click to vote
IDA
2008
Springer
15 years 4 months ago
2008
Springer
Meta-heuristics such as simulated annealing, genetic algorithms and tabu search have been successfully applied to many difficult optimization problems for which no satisfactory pro...
115
click to vote
COMCOM
2006
15 years 4 months ago
2006
Ethernet passive optical networks (EPONs) technology has emerged as a promising candidate for next-generation broadband access networks. As this technology evolves, the developmen...
111
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthe...
136
click to vote
ENTCS
2006
15 years 4 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...