28 search results - page 2 / 6 » The Termination Competition |
ENTCS
2010
13 years 5 months ago
2010
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...
ICARIS
2005
Springer
13 years 11 months ago
2005
Springer
The (randomized) real-valued negative selection algorithm is an anomaly detection approach, inspired by the negative selection immune system principle. The algorithm was proposed t...
IDEAL
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The importance of modularity in product innovation is analyzed in this paper. Through simulations with an agent-based modular economic model, we examine the significance...
POPL
2007
ACM
14 years 6 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
IPL
2007
13 years 5 months ago
2007
The online frequency allocation problem for cellular networks has been well studied in these years. Given a mobile telephone network, whose geographical coverage area is divided i...