1757 search results - page 115 / 352 » Alternating Refinement Relations |
128
click to vote
EMO
2006
Springer
15 years 7 months ago
2006
Springer
1 In most real world optimization problems several optimization goals have to be considered in parallel. For this reason, there has been a growing interest in Multi-Objective Optim...
108
click to vote
IJHPCA
2008
15 years 3 months ago
2008
We present a speculative extrapolation of the performance aspects of an atmospheric general circulation model to ultra-high resolution and describe alternative technological paths...
124
Voted
JCM
2007
15 years 3 months ago
2007
— Radio Frequency Identification (RFID) technology has a lot of potential to improve visibility across the supply chain and automate the business processes. This paper describes ...
106
Voted
ARESEC
2011
14 years 3 months ago
2011
—The Operational Complexity Model (OCM) has been used to derive the complexities of the five most prevalent cyber-crimes occurring in southeast Asia, namely peer-to-peer (P2P) mu...
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...